Symbol: VCPU_REGS_R13
sys/arch/amd64/amd64/vmm_machdep.c
1039
gprs[VCPU_REGS_R13] = vcpu->vc_gueststate.vg_r13;
sys/arch/amd64/amd64/vmm_machdep.c
1164
gprs[VCPU_REGS_R13] = vcpu->vc_gueststate.vg_r13;
sys/arch/amd64/amd64/vmm_machdep.c
1319
vcpu->vc_gueststate.vg_r13 = gprs[VCPU_REGS_R13];
sys/arch/amd64/amd64/vmm_machdep.c
1450
vcpu->vc_gueststate.vg_r13 = gprs[VCPU_REGS_R13];
sys/arch/amd64/amd64/vmm_machdep.c
1734
vmsa->v_r13 = gprs[VCPU_REGS_R13];
usr.sbin/vmd/x86_mmio.c
339
case VCPU_REGS_R13: return "R13";