sys/arch/amd64/amd64/vmm_machdep.c

1042

gprs[VCPU_REGS_RBP] = vcpu->vc_gueststate.vg_rbp;

sys/arch/amd64/amd64/vmm_machdep.c

1167

gprs[VCPU_REGS_RBP] = vcpu->vc_gueststate.vg_rbp;

sys/arch/amd64/amd64/vmm_machdep.c

1322

vcpu->vc_gueststate.vg_rbp = gprs[VCPU_REGS_RBP];

sys/arch/amd64/amd64/vmm_machdep.c

1453

vcpu->vc_gueststate.vg_rbp = gprs[VCPU_REGS_RBP];

sys/arch/amd64/amd64/vmm_machdep.c

1725

vmsa->v_rbp = gprs[VCPU_REGS_RBP];

usr.sbin/vmd/x86_mmio.c

343

case VCPU_REGS_RBP: return "RBP";

usr.sbin/vmd/x86_mmio.c

535

insn->insn_reg = VCPU_REGS_RBP;

usr.sbin/vmd/x86_mmio.c

585

addr = vrs->vrs_gprs[VCPU_REGS_RBP];