Lines Matching refs:vpid
17 void invvpid_error(unsigned long ext, u16 vpid, gva_t gva);
298 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva) in __invvpid() argument
301 u64 vpid : 16; in __invvpid() member
304 } operand = { vpid, 0, gva }; in __invvpid()
306 vmx_asm2(invvpid, "r"(ext), "m"(operand), ext, vpid, gva); in __invvpid()
318 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() argument
320 if (vpid == 0) in vpid_sync_vcpu_single()
323 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single()
331 static inline void vpid_sync_context(int vpid) in vpid_sync_context() argument
334 vpid_sync_vcpu_single(vpid); in vpid_sync_context()
335 else if (vpid != 0) in vpid_sync_context()
339 static inline void vpid_sync_vcpu_addr(int vpid, gva_t addr) in vpid_sync_vcpu_addr() argument
341 if (vpid == 0) in vpid_sync_vcpu_addr()
345 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr); in vpid_sync_vcpu_addr()
347 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()