Searched refs:tbl (Results 1 – 3 of 3) sorted by relevance
443 void rt_hw_mmu_ktbl_set(unsigned long tbl) in rt_hw_mmu_ktbl_set() argument446 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() local693 __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() local708 if (!tbl) in rt_ioremap_early()710 tbl = rt_hw_mmu_tbl_get(); in rt_ioremap_early()[all …]
106 void rt_hw_mmu_ktbl_set(unsigned long tbl);
121 void rt_hw_mmu_switch(void *tbl);
Completed in 6 milliseconds