Symbol: svm_handle_hlt
sys/arch/amd64/amd64/vmm_machdep.c
117
int svm_handle_hlt(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4271
ret = svm_handle_hlt(vcpu);