Searched refs:edx_ecx (Results 1 – 1 of 1) sorted by relevance
2706 u64 ebx_eax, edx_ecx; in tdx_read_cpuid() 2745 err = tdx_td_metadata_field_read(kvm_tdx, field_id, &edx_ecx); in tdx_read_cpuid() 2747 * It's weird that reading edx_ecx fails while reading ebx_eax in tdx_read_cpuid() 2753 out->ecx = (u32) edx_ecx; in tdx_read_cpuid() 2754 out->edx = (u32) (edx_ecx >> 32); in tdx_read_cpuid() 2684 u64 ebx_eax, edx_ecx; tdx_read_cpuid() local