Searched refs:ktsb4m_base (Results 1 – 3 of 3) sorted by relevance
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()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()[all …]
2332 extern caddr_t ktsb4m_base;
580 caddr_t ktsb4m_base; /* kernel 4m-indexed tsb base address */ variable2703 tsb_base = (phys)? ktsb4m_pbase : (uint64_t)ktsb4m_base; in sfmmu_mod_tsb()2793 tsb_base = (phys)? ktsb4m_pbase : (uint64_t)ktsb4m_base; in sfmmu_unload_tsb_range()13045 kpm_tsbbase = ktsb_phys? ktsb4m_pbase : (uint64_t)ktsb4m_base; in sfmmu_init_tsbs()13107 ktsb_info[1].tsb_va = ktsb4m_base; in sfmmu_init_ktsbinfo()