Searched refs:__invvpid (Results 1 – 2 of 2) sorted by relevance
236 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva) in __invvpid() function262 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr); in vpid_sync_vcpu_addr()275 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single()281 __invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0); in vpid_sync_vcpu_global()
5018 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, in handle_invvpid()
