Symbol: IA32_VMX_INVVPID_SINGLE_CTX_GLB
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);