Searched refs:VCPU_REGS_RDX (Results 1 – 3 of 3) sorted by relevance
| /linux-6.3-rc2/arch/x86/kvm/ |
| A D | emulate.c | 2525 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
2665 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
2689 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
2778 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
2807 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3238 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3249 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
3632 *reg_write(ctxt, VCPU_REGS_RDX) = edx; in em_cpuid()
3831 edx = reg_read(ctxt, VCPU_REGS_RDX); in em_xsetbv()
4633 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in decode_operand()
[all …]
|
| /linux-6.3-rc2/arch/x86/kvm/svm/ |
| A D | sev.c | 585 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX]; in sev_es_sync_vmsa()
2390 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]); in sev_es_sync_to_ghcb()
2417 vcpu->arch.regs[VCPU_REGS_RDX] = ghcb_get_rdx_if_valid(ghcb); in sev_es_sync_from_ghcb()
2773 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX]; in sev_handle_vmgexit_msr_protocol()
|
| /linux-6.3-rc2/arch/x86/include/asm/ |
| A D | kvm_host.h | 161 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator
|
Completed in 25 milliseconds