Symbol: vcpu_reset_regs
sys/arch/amd64/amd64/vmm_machdep.c
81
int vcpu_reset_regs(struct vcpu *, struct vcpu_reg_state *);
sys/arch/amd64/include/vmmvar.h
1068
int vcpu_reset_regs(struct vcpu *, struct vcpu_reg_state *);
sys/dev/vmm/vmm.c
806
if (vcpu_reset_regs(vcpu, &vrp->vrp_init_state)) {