Home
last modified time | relevance | path

Searched refs:VCPU_REGS_RSP (Results 1 – 6 of 6) sorted by relevance

/openbsd/regress/sys/arch/amd64/vmm/
H A Dvcpu.c58 .vrs_gprs[VCPU_REGS_RSP] = 0x800, /* Set our stack in low mem. */
323 vrunp.vrp_exit->vrs.vrs_gprs[VCPU_REGS_RSP]); in main()
/openbsd/usr.sbin/vmd/
H A Dx86_mmio.c342 case VCPU_REGS_RSP: return "RSP"; in str_reg()
532 insn->insn_reg = VCPU_REGS_RSP; in get_modrm_reg()
581 addr = vrs->vrs_gprs[VCPU_REGS_RSP]; in get_modrm_addr()
H A Dx86_vm.c79 .vrs_gprs[VCPU_REGS_RSP] = 0x0,
120 .vrs_gprs[VCPU_REGS_RSP] = 0x0,
H A Dloadfile_elf.c328 vrs->vrs_gprs[VCPU_REGS_RSP] = (uint64_t)(STACK_PAGE + PAGE_SIZE) - stacksize; in loadfile_elf()
/openbsd/sys/arch/amd64/include/
H A Dvmmvar.h376 #define VCPU_REGS_RSP 4 macro
/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c1069 if (vmread(VMCS_GUEST_IA32_RSP, &gprs[VCPU_REGS_RSP])) in vcpu_readregs_vmx()
1194 gprs[VCPU_REGS_RSP] = vmcb->v_rsp; in vcpu_readregs_svm()
1351 if (vmwrite(VMCS_GUEST_IA32_RSP, gprs[VCPU_REGS_RSP])) in vcpu_writeregs_vmx()
1483 vmcb->v_rsp = gprs[VCPU_REGS_RSP]; in vcpu_writeregs_svm()