Symbol: invvpid
sys/amd64/vmm/intel/vmx.c
1332
invvpid(INVVPID_TYPE_SINGLE_CONTEXT, invvpid_desc);
sys/amd64/vmm/intel/vmx.c
601
invvpid(INVVPID_TYPE_ALL_CONTEXTS, invvpid_desc);