Symbol: svm_enter_guest
sys/arch/amd64/amd64/vmm_machdep.c
6809
ret = svm_enter_guest(vcpu->vc_control_pa,
sys/arch/amd64/include/vmmvar.h
1050
int svm_enter_guest(uint64_t, struct vcpu_gueststate *,