Symbol: vcpu_reset_regs_svm
sys/arch/amd64/amd64/vmm_machdep.c
2797
ret = vcpu_reset_regs_svm(vcpu, vrs);
sys/arch/amd64/amd64/vmm_machdep.c
83
int vcpu_reset_regs_svm(struct vcpu *, struct vcpu_reg_state *);