Home
last modified time | relevance | path

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

/openbsd/usr.sbin/vmd/
H A Dx86_mmio.c343 case VCPU_REGS_RBP: return "RBP"; in str_reg()
535 insn->insn_reg = VCPU_REGS_RBP; in get_modrm_reg()
585 addr = vrs->vrs_gprs[VCPU_REGS_RBP]; in get_modrm_addr()
/openbsd/sys/arch/amd64/include/
H A Dvmmvar.h377 #define VCPU_REGS_RBP 5 macro
/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c1067 gprs[VCPU_REGS_RBP] = vcpu->vc_gueststate.vg_rbp; in vcpu_readregs_vmx()
1192 gprs[VCPU_REGS_RBP] = vcpu->vc_gueststate.vg_rbp; in vcpu_readregs_svm()
1347 vcpu->vc_gueststate.vg_rbp = gprs[VCPU_REGS_RBP]; in vcpu_writeregs_vmx()
1478 vcpu->vc_gueststate.vg_rbp = gprs[VCPU_REGS_RBP]; in vcpu_writeregs_svm()