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

/xen/xen/include/asm-x86/hvm/vmx/
A D	vmx.h	499 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid() function 558 __invvpid(type, v->arch.hvm.n1asid.asid, (u64)gva); in vpid_sync_vcpu_gva() 563 __invvpid(INVVPID_ALL_CONTEXT, 0, 0); in vpid_sync_all()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025