sys/arch/amd64/amd64/vmm_machdep.c

1029

gprs[VCPU_REGS_RBX] = vcpu->vc_gueststate.vg_rbx;

sys/arch/amd64/amd64/vmm_machdep.c

1154

gprs[VCPU_REGS_RBX] = vcpu->vc_gueststate.vg_rbx;

sys/arch/amd64/amd64/vmm_machdep.c

1309

vcpu->vc_gueststate.vg_rbx = gprs[VCPU_REGS_RBX];

sys/arch/amd64/amd64/vmm_machdep.c

1440

vcpu->vc_gueststate.vg_rbx = gprs[VCPU_REGS_RBX];

sys/arch/amd64/amd64/vmm_machdep.c

1721

vmsa->v_rbx = gprs[VCPU_REGS_RBX];

usr.sbin/vmd/x86_mmio.c

331

case VCPU_REGS_RBX: return "RBX";

usr.sbin/vmd/x86_mmio.c

529

insn->insn_reg = VCPU_REGS_RBX;

usr.sbin/vmd/x86_mmio.c

577

addr = vrs->vrs_gprs[VCPU_REGS_RBX];