Symbol: VCPU_REGS_R12
sys/arch/amd64/amd64/vmm_machdep.c
1038
gprs[VCPU_REGS_R12] = vcpu->vc_gueststate.vg_r12;
sys/arch/amd64/amd64/vmm_machdep.c
1163
gprs[VCPU_REGS_R12] = vcpu->vc_gueststate.vg_r12;
sys/arch/amd64/amd64/vmm_machdep.c
1318
vcpu->vc_gueststate.vg_r12 = gprs[VCPU_REGS_R12];
sys/arch/amd64/amd64/vmm_machdep.c
1449
vcpu->vc_gueststate.vg_r12 = gprs[VCPU_REGS_R12];
sys/arch/amd64/amd64/vmm_machdep.c
1733
vmsa->v_r12 = gprs[VCPU_REGS_R12];
usr.sbin/vmd/x86_mmio.c
338
case VCPU_REGS_R12: return "R12";