Symbol: invvpid
sys/arch/amd64/amd64/vmm_machdep.c
3892
invvpid(IA32_VMX_INVVPID_SINGLE_CTX_GLB, &vid);
sys/arch/amd64/amd64/vmm_machdep.c
5612
invvpid(IA32_VMX_INVVPID_SINGLE_CTX_GLB, &vid);
sys/arch/amd64/include/vmmvar.h
1047
int invvpid(uint64_t, struct vmx_invvpid_descriptor *);