Lines Matching defs:vpid

17 void invvpid_error(unsigned long ext, u16 vpid, gva_t gva);
306 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva)
309 		u64 vpid : 16;
312 	} operand = { vpid, 0, gva };
314 	vmx_asm2(invvpid, "r"(ext), "m"(operand), ext, vpid, gva);
326 static inline void vpid_sync_vcpu_single(int vpid)
328 	if (vpid == 0)
331 	__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);
339 static inline void vpid_sync_context(int vpid)
342 		vpid_sync_vcpu_single(vpid);
343 	else if (vpid != 0)
347 static inline void vpid_sync_vcpu_addr(int vpid, gva_t addr)
349 	if (vpid == 0)
353 		__invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr);
355 		vpid_sync_context(vpid);