Lines Matching defs:ecx
2247 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info;
2390 ecx = vmxctx->guest_rcx;
2391 VCPU_CTR1(vmx->vm, vcpu, "rdmsr 0x%08x", ecx);
2392 SDT_PROBE4(vmm, vmx, exit, rdmsr, vmx, vcpu, vmexit, ecx);
2393 error = emulate_rdmsr(vmx, vcpu, ecx, &retu);
2396 vmexit->u.msr.code = ecx;
2409 ecx = vmxctx->guest_rcx;
2412 ecx, (uint64_t)edx << 32 | eax);
2413 SDT_PROBE5(vmm, vmx, exit, wrmsr, vmx, vmexit, vcpu, ecx,
2415 error = emulate_wrmsr(vmx, vcpu, ecx,
2419 vmexit->u.msr.code = ecx;