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