Symbol: vmx_handle_exit
sys/arch/amd64/amd64/vmm_machdep.c
3982
ret = vmx_handle_exit(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
98
int vmx_handle_exit(struct vcpu *);