Symbol: vmx_handle_hlt
sys/arch/amd64/amd64/vmm_machdep.c
118
int vmx_handle_hlt(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4695
ret = vmx_handle_hlt(vcpu);