38 u64 get_tcr(int el, u64 *pips, u64 *pva_bits)  in get_tcr()
40 	u64 max_addr = 0;  in get_tcr()
41 	u64 ips, va_bits;  in get_tcr()
42 	u64 tcr;  in get_tcr()
92 static int pte_type(u64 *pte)  in pte_type()
104 static u64 *find_pte(u64 addr, int level)  in find_pte()
107 	u64 *pte;  in find_pte()
108 	u64 idx;  in find_pte()
109 	u64 va_bits;  in find_pte()
122 	pte = (u64*)gd->arch.tlb_addr;  in find_pte()
135 		pte = (u64*)(*pte & 0x0000fffffffff000ULL);  in find_pte()
143 static u64 *create_table(void)  in create_table()
145 	u64 *new_table = (u64*)gd->arch.tlb_fillptr;  in create_table()
146 	u64 pt_len = MAX_PTE_ENTRIES * sizeof(u64);  in create_table()
163 static void set_pte_table(u64 *pte, u64 *table)  in set_pte_table()
171 static void split_block(u64 *pte, int level)  in split_block()
173 	u64 old_pte = *pte;  in split_block()
174 	u64 *new_table;  in split_block()
175 	u64 i = 0;  in split_block()
204 	u64 *pte;  in add_map()
205 	u64 virt = map->virt;  in add_map()
206 	u64 phys = map->phys;  in add_map()
207 	u64 size = map->size;  in add_map()
208 	u64 attrs = map->attrs | PTE_TYPE_BLOCK | PTE_BLOCK_AF;  in add_map()
209 	u64 blocksize;  in add_map()
211 	u64 *new_table;  in add_map()
268 static int count_required_pts(u64 addr, int level, u64 maxaddr)  in count_required_pts()
271 	u64 levelsize = 1ULL << levelshift;  in count_required_pts()
272 	u64 levelmask = levelsize - 1;  in count_required_pts()
273 	u64 levelend = addr + levelsize;  in count_required_pts()
280 		u64 start = map->virt;  in count_required_pts()
281 		u64 end = start + map->size;  in count_required_pts()
311 		u64 sublevelsize = 1ULL << level2shift(sublevel);  in count_required_pts()
335 __weak u64 get_page_table_size(void)  in get_page_table_size()
337 	u64 one_pt = MAX_PTE_ENTRIES * sizeof(u64);  in get_page_table_size()
338 	u64 size = 0;  in get_page_table_size()
339 	u64 va_bits;  in get_page_table_size()
385 	u64 tlb_addr = gd->arch.tlb_addr;  in setup_all_pgtables()
386 	u64 tlb_size = gd->arch.tlb_size;  in setup_all_pgtables()
496 u64 *__weak arch_get_page_table(void) {  in arch_get_page_table()
502 static bool is_aligned(u64 addr, u64 size, u64 align)  in is_aligned()
508 static u64 set_one_region(u64 start, u64 size, u64 attrs, bool flag, int level)  in set_one_region()
511 	u64 levelsize = 1ULL << levelshift;  in set_one_region()
512 	u64 *pte = find_pte(start, level);  in set_one_region()
547 	u64 attrs = PMD_ATTRINDX(option);  in mmu_set_region_dcache_behaviour()
548 	u64 real_start = start;  in mmu_set_region_dcache_behaviour()
549 	u64 real_size = size;  in mmu_set_region_dcache_behaviour()
569 		u64 r;  in mmu_set_region_dcache_behaviour()
599 void mmu_change_region_attr(phys_addr_t addr, size_t siz, u64 attrs)  in mmu_change_region_attr()
602 	u64 r, size, start;  in mmu_change_region_attr()
652 u64 get_page_table_size(void)  in get_page_table_size()