Symbol: svm_handle_efercr
sys/arch/amd64/amd64/vmm_machdep.c
103
int svm_handle_efercr(struct vcpu *, uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
4292
ret = svm_handle_efercr(vcpu, exit_reason);