Symbol: vmx_get_exit_info
sys/arch/amd64/amd64/vmm_machdep.c
3953
exitinfo = vmx_get_exit_info(
sys/arch/amd64/amd64/vmm_machdep.c
96
int vmx_get_exit_info(uint64_t *, uint64_t *);