Searched refs:g_maxpa (Results 1 – 1 of 1) sorted by relevance
2648 unsigned int g_maxpa = __ffs(gpa_bits) + 1; in tdx_read_cpuid() local2650 out->eax = tdx_set_guest_phys_addr_bits(out->eax, g_maxpa); in tdx_read_cpuid()