Lines Matching refs:tbl
443 void rt_hw_mmu_ktbl_set(unsigned long tbl) in rt_hw_mmu_ktbl_set() argument
446 tbl += PV_OFFSET; in rt_hw_mmu_ktbl_set()
447 __asm__ volatile("msr TTBR1_EL1, %0\n dsb sy\nisb" ::"r"(tbl) : "memory"); in rt_hw_mmu_ktbl_set()
449 __asm__ volatile("msr TTBR0_EL1, %0\n dsb sy\nisb" ::"r"(tbl) : "memory"); in rt_hw_mmu_ktbl_set()
692 uintptr_t tbl; in rt_hw_mmu_tbl_get() local
693 __asm__ volatile("MRS %0, TTBR0_EL1" : "=r"(tbl)); in rt_hw_mmu_tbl_get()
694 return rt_kmem_p2v((void *)(tbl & ((1ul << 48) - 2))); in rt_hw_mmu_tbl_get()
701 static void *tbl = RT_NULL; in rt_ioremap_early() local
708 if (!tbl) in rt_ioremap_early()
710 tbl = rt_hw_mmu_tbl_get(); in rt_ioremap_early()
720 if (_map_single_page_2M(tbl, base, base, MMU_MAP_K_DEVICE, RT_TRUE)) in rt_ioremap_early()