Searched refs:__invvpid (Results 1 – 1 of 1) sorted by relevance
1272 static inline void __invvpid(int ext, u16 vpid, gva_t gva) in __invvpid() function1420 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single()1426 __invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0); in vpid_sync_vcpu_global()