Searched defs:page_table (Results 1 – 2 of 2) sorted by relevance
28 u64 *page_table = (u64 *)gd->arch.tlb_addr; in set_section_dcache() local55 u64 *page_table = (u64 *)gd->arch.tlb_addr; in mmu_set_region_dcache_behaviour() local143 u64 *page_table = (u64 *)(gd->arch.tlb_addr + (4096 * 4)); in mmu_setup() local
99 static inline void set_pgtable(u32 *page_table, u32 index, u32 phy_addr) in set_pgtable()108 static inline void set_pgsection(u32 *page_table, u32 index, u64 phy_addr, in set_pgsection()