Searched refs:page_table (Results 1 – 3 of 3) sorted by relevance
29 u64 *page_table = (u64 *)gd->arch.tlb_addr; in set_section_dcache() local33 u32 *page_table = (u32 *)gd->arch.tlb_addr; in set_section_dcache()44 page_table[section] = value; in set_section_dcache()56 u64 *page_table = (u64 *)gd->arch.tlb_addr; in mmu_set_region_dcache_behaviour() local58 u32 *page_table = (u32 *)gd->arch.tlb_addr; in mmu_set_region_dcache_behaviour()81 startpt = (unsigned long)&page_table[start]; in mmu_set_region_dcache_behaviour()83 stoppt = (unsigned long)&page_table[end]; in mmu_set_region_dcache_behaviour()126 u64 *page_table = (u64 *)(gd->arch.tlb_addr + (4096 * 4)); in mmu_setup() local128 page_table[i] = tpt | TTB_PAGETABLE; in mmu_setup()
62 .quad page_table64 page_table: label65 .org page_table + ((VIRTUAL_BASE >> 12) & 0xff) * 867 .org page_table + 0x100 * 8
98 static inline void set_pgtable(u32 *page_table, u32 index, u32 phy_addr) in set_pgtable() argument102 page_table[2 * index] = value; in set_pgtable()103 page_table[2 * index + 1] = 0; in set_pgtable()107 static inline void set_pgsection(u32 *page_table, u32 index, u64 phy_addr, in set_pgsection() argument114 page_table[2 * index] = value & 0xFFFFFFFF; in set_pgsection()115 page_table[2 * index + 1] = (value >> 32) & 0xFFFFFFFF; in set_pgsection()