Home
last modified time | relevance | path

Searched refs:VCPU_REGS_R13 (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h385 #define VCPU_REGS_R13 13 macro
/openbsd/src/usr.sbin/vmd/
Dx86_mmio.c339 case VCPU_REGS_R13: return "R13"; in str_reg()
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1064 gprs[VCPU_REGS_R13] = vcpu->vc_gueststate.vg_r13; in vcpu_readregs_vmx()
1189 gprs[VCPU_REGS_R13] = vcpu->vc_gueststate.vg_r13; in vcpu_readregs_svm()
1344 vcpu->vc_gueststate.vg_r13 = gprs[VCPU_REGS_R13]; in vcpu_writeregs_vmx()
1475 vcpu->vc_gueststate.vg_r13 = gprs[VCPU_REGS_R13]; in vcpu_writeregs_svm()