Searched refs:pa_bits (Results 1 – 1 of 1) sorted by relevance
526 uint_t pa_bits; in mmu_init() local550 cpuid_get_addrsize(CPU, &pa_bits, &va_bits); in mmu_init()571 mmu.highest_pfn = mmu_btop((1ull << pa_bits) - 1); in mmu_init()572 if (mmu.pae_hat == 0 && pa_bits > 32) in mmu_init()