Lines Matching refs:rdx
131 arg[2] = guest_state->rdx; in VmCallInfo()
200 reinterpret_cast<uint32_t*>(&guest_state->rdx)); in handle_cpuid()
208 reinterpret_cast<uint32_t*>(&guest_state->rdx)); in handle_cpuid()
227 guest_state->rdx |= 1u << X86_FEATURE_SEP.bit; in handle_cpuid()
229 guest_state->rdx &= ~(1u << X86_FEATURE_TM.bit); in handle_cpuid()
231 guest_state->rdx &= ~(1u << X86_FEATURE_ACPI.bit); in handle_cpuid()
234 guest_state->rdx = vmcs->Read(VmcsField16::VPID) - 1; in handle_cpuid()
272 guest_state->rdx = 0; in handle_cpuid()
280 guest_state->rdx = 0; in handle_cpuid()
298 guest_state->rdx &= ~( in handle_cpuid()
315 guest_state->rdx = regs[2]; in handle_cpuid()
324 guest_state->rdx = 0; in handle_cpuid()
335 reinterpret_cast<uint32_t*>(&guest_state->rdx)); in handle_cpuid()
377 *out = guest_state->rdx; in register_value()
552 guest_state->rdx = 0; in handle_rdmsr()
558 guest_state->rdx = 0; in handle_rdmsr()
589 guest_state->rdx = 0; in handle_rdmsr()
649 if (guest_state->rax > UINT32_MAX || guest_state->rdx > UINT32_MAX) in handle_ipi()
651 InterruptCommandRegister icr(static_cast<uint32_t>(guest_state->rdx), in handle_ipi()
707 if (guest_state->rdx != 0 || guest_state->rax > UINT32_MAX) in handle_apic_wrmsr()
755 zx_paddr_t guest_paddr = BITS(guest_state->rax, 31, 0) | (BITS(guest_state->rdx, 31, 0) << 32); in handle_kvm_wrmsr()
782 if (guest_state->rdx != 0) in handle_wrmsr()
809 uint64_t tsc_deadline = (guest_state->rdx << 32) | (guest_state->rax & UINT32_MAX); in handle_wrmsr()
992 uint64_t xcr0 = (guest_state->rdx << 32) | (guest_state->rax & UINT32_MAX); in handle_xsetbv()