Searched refs:tdx_set_guest_phys_addr_bits (Results 1 – 1 of 1) sorted by relevance
106 static u32 tdx_set_guest_phys_addr_bits(const u32 eax, int addr_bits) in tdx_set_guest_phys_addr_bits() function171 entry->eax = tdx_set_guest_phys_addr_bits(entry->eax, 0xff); in td_init_cpuid_entry2()2392 value->eax = tdx_set_guest_phys_addr_bits(value->eax, 0); in setup_tdparams_cpuids()2726 out->eax = tdx_set_guest_phys_addr_bits(out->eax, g_maxpa); in tdx_read_cpuid()