Symbol: svm_msr_guest_exit
sys/amd64/vmm/amd/svm.c
2268
svm_msr_guest_exit(vcpu);
sys/amd64/vmm/amd/svm_msr.h
38
void svm_msr_guest_exit(struct svm_vcpu *vcpu);