Searched refs:edx_ecx (Results 1 – 1 of 1) sorted by relevance
2588 u64 ebx_eax, edx_ecx; in tdx_read_cpuid() local2627 err = tdx_td_metadata_field_read(kvm_tdx, field_id, &edx_ecx); in tdx_read_cpuid()2635 out->ecx = (u32) edx_ecx; in tdx_read_cpuid()2636 out->edx = (u32) (edx_ecx >> 32); in tdx_read_cpuid()