Searched refs:host_cpu_phys_bits (Results 1 – 3 of 3) sorted by relevance
13 uint32_t host_cpu_phys_bits(void);
18 uint32_t host_cpu_phys_bits(void) in host_cpu_phys_bits() function47 uint32_t host_phys_bits = host_cpu_phys_bits(); in host_cpu_adjust_phys_bits()
895 if (cpu->phys_bits != host_cpu_phys_bits()) { in tdx_check_features()898 cpu->phys_bits, host_cpu_phys_bits()); in tdx_check_features()