Symbol: VCPU_REGS_R15
sys/arch/amd64/amd64/vmm_machdep.c
1041
gprs[VCPU_REGS_R15] = vcpu->vc_gueststate.vg_r15;
sys/arch/amd64/amd64/vmm_machdep.c
1166
gprs[VCPU_REGS_R15] = vcpu->vc_gueststate.vg_r15;
sys/arch/amd64/amd64/vmm_machdep.c
1321
vcpu->vc_gueststate.vg_r15 = gprs[VCPU_REGS_R15];
sys/arch/amd64/amd64/vmm_machdep.c
1452
vcpu->vc_gueststate.vg_r15 = gprs[VCPU_REGS_R15];
sys/arch/amd64/amd64/vmm_machdep.c
1736
vmsa->v_r15 = gprs[VCPU_REGS_R15];
usr.sbin/vmd/x86_mmio.c
341
case VCPU_REGS_R15: return "R15";