Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/vmx/
A Dvmx.h489 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid() function
548 __invvpid(type, v->arch.hvm_vcpu.n1asid.asid, (u64)gva); in vpid_sync_vcpu_gva()
553 __invvpid(INVVPID_ALL_CONTEXT, 0, 0); in vpid_sync_all()

Completed in 5 milliseconds