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