Searched refs:__invvpid (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kvm/vmx/
A D	vmx_ops.h	306 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva) in __invvpid() function 331 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single() 336 __invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0); in vpid_sync_vcpu_global() 353 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr); in vpid_sync_vcpu_addr()

Completed in 4 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025