Symbol: vcpu_reset_regs_vmx
sys/arch/amd64/amd64/vmm_machdep.c
2795
ret = vcpu_reset_regs_vmx(vcpu, vrs);
sys/arch/amd64/amd64/vmm_machdep.c
82
int vcpu_reset_regs_vmx(struct vcpu *, struct vcpu_reg_state *);