Searched refs:set_pgtable (Results 1 – 1 of 1) sorted by relevance
98 static inline void set_pgtable(u32 *page_table, u32 index, u32 phy_addr) in set_pgtable() function158 set_pgtable(level0_table, 0, (u32)level1_table); in mmu_setup()