Lines Matching refs:ktsb4m_base
181 ktsb4m_pbase = va_to_pa(ktsb4m_base); in hat_kern_setup()
217 sfmmu_inv_tsb(ktsb4m_base, ktsb4m_sz); in hat_kern_setup()
837 ktsb4m_base = ndata_alloc(ndata, ktsb4m_sz, ktsb4m_sz); in ndata_alloc_tsbs()
838 if (ktsb4m_base == NULL) in ndata_alloc_tsbs()
840 ASSERT(!((uintptr_t)ktsb4m_base & (ktsb4m_sz - 1))); in ndata_alloc_tsbs()
842 PRM_DEBUG(ktsb4m_base); in ndata_alloc_tsbs()
997 ktsb4m_base = (caddr_t)roundup((uintptr_t)tsbbase, ktsb4m_sz); in sfmmu_ktsb_alloc()
998 vaddr = (caddr_t)BOP_ALLOC(bootops, ktsb4m_base, ktsb4m_sz, in sfmmu_ktsb_alloc()
1000 if (vaddr != ktsb4m_base) in sfmmu_ktsb_alloc()
1003 ktsb4m_base = vaddr; in sfmmu_ktsb_alloc()
1004 tsbbase = ktsb4m_base + ktsb4m_sz; in sfmmu_ktsb_alloc()
1005 PRM_DEBUG(ktsb4m_base); in sfmmu_ktsb_alloc()