Symbol: vmx_enter_guest
sys/arch/amd64/amd64/vmm_machdep.c
3920
ret = vmx_enter_guest(&vcpu->vc_control_pa,
sys/arch/amd64/include/vmmvar.h
1049
int vmx_enter_guest(paddr_t *, struct vcpu_gueststate *, int, uint8_t);