21 void invvpid_error(unsigned long ext, u16 vpid, gva_t gva);
255 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva)  in __invvpid()  argument
258 		u64 vpid : 16;  in __invvpid()  member
261 	} operand = { vpid, 0, gva };  in __invvpid()
263 	vmx_asm2(invvpid, "r"(ext), "m"(operand), ext, vpid, gva);  in __invvpid()
275 static inline void vpid_sync_vcpu_single(int vpid)  in vpid_sync_vcpu_single()  argument
277 	if (vpid == 0)  in vpid_sync_vcpu_single()
280 	__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);  in vpid_sync_vcpu_single()
288 static inline void vpid_sync_context(int vpid)  in vpid_sync_context()  argument
291 		vpid_sync_vcpu_single(vpid);  in vpid_sync_context()
292 	else if (vpid != 0)  in vpid_sync_context()
296 static inline void vpid_sync_vcpu_addr(int vpid, gva_t addr)  in vpid_sync_vcpu_addr()  argument
298 	if (vpid == 0)  in vpid_sync_vcpu_addr()
302 		__invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr);  in vpid_sync_vcpu_addr()
304 		vpid_sync_context(vpid);  in vpid_sync_vcpu_addr()