Searched refs:page_table (Results 1 – 2 of 2) sorted by relevance
28 u64 *page_table = (u64 *)gd->arch.tlb_addr; in set_section_dcache() local32 u32 *page_table = (u32 *)gd->arch.tlb_addr; in set_section_dcache()43 page_table[section] = value; in set_section_dcache()55 u64 *page_table = (u64 *)gd->arch.tlb_addr; in mmu_set_region_dcache_behaviour() local57 u32 *page_table = (u32 *)gd->arch.tlb_addr; in mmu_set_region_dcache_behaviour()80 startpt = (unsigned long)&page_table[start]; in mmu_set_region_dcache_behaviour()82 stoppt = (unsigned long)&page_table[end]; in mmu_set_region_dcache_behaviour()143 u64 *page_table = (u64 *)(gd->arch.tlb_addr + (4096 * 4)); in mmu_setup() local145 page_table[i] = tpt | TTB_PAGETABLE; in mmu_setup()
99 static inline void set_pgtable(u32 *page_table, u32 index, u32 phy_addr) in set_pgtable() argument103 page_table[2 * index] = value; in set_pgtable()104 page_table[2 * index + 1] = 0; in set_pgtable()108 static inline void set_pgsection(u32 *page_table, u32 index, u64 phy_addr, in set_pgsection() argument115 page_table[2 * index] = value & 0xFFFFFFFF; in set_pgsection()116 page_table[2 * index + 1] = (value >> 32) & 0xFFFFFFFF; in set_pgsection()