Searched refs:ebx_eax (Results 1 – 1 of 1) sorted by relevance
2588 u64 ebx_eax, edx_ecx; in tdx_read_cpuid() local2619 err = tdx_td_metadata_field_read(kvm_tdx, field_id, &ebx_eax); in tdx_read_cpuid()2623 out->eax = (u32) ebx_eax; in tdx_read_cpuid()2624 out->ebx = (u32) (ebx_eax >> 32); in tdx_read_cpuid()