142 		unsigned int level)  in xlat_tables_print_internal()  argument
144 	assert(level <= XLAT_TABLE_LEVEL_MAX);  in xlat_tables_print_internal()
149 	size_t level_size = XLAT_BLOCK_SIZE(level);  in xlat_tables_print_internal()
167 				       level_spacers[level],  in xlat_tables_print_internal()
176 				       level_spacers[level],  in xlat_tables_print_internal()
187 					(level < XLAT_TABLE_LEVEL_MAX)) {  in xlat_tables_print_internal()
195 				       level_spacers[level],  in xlat_tables_print_internal()
202 					XLAT_TABLE_ENTRIES, level + 1U);  in xlat_tables_print_internal()
205 				       level_spacers[level], table_idx_va,  in xlat_tables_print_internal()
219 		       level_spacers[level], invalid_row_count - 1);  in xlat_tables_print_internal()
296 	for (unsigned int level = start_level;  in find_xlat_table_entry()  local
297 	     level <= XLAT_TABLE_LEVEL_MAX;  in find_xlat_table_entry()
298 	     ++level) {  in find_xlat_table_entry()
301 		idx = XLAT_TABLE_IDX(virtual_addr, level);  in find_xlat_table_entry()
316 		if (level == XLAT_TABLE_LEVEL_MAX) {  in find_xlat_table_entry()
322 			*out_level = level;  in find_xlat_table_entry()
327 			*out_level = level;  in find_xlat_table_entry()
352 	unsigned int level;  in xlat_get_mem_attributes_internal()  local
371 				&level);  in xlat_get_mem_attributes_internal()
386 		*table_level = level;  in xlat_get_mem_attributes_internal()
545 		unsigned int level;  in xlat_change_mem_attributes_ctx()  local
551 					      &level);  in xlat_change_mem_attributes_ctx()
564 			(level != XLAT_TABLE_LEVEL_MAX)) {  in xlat_change_mem_attributes_ctx()
568 			     XLAT_BLOCK_SIZE(level), PAGE_SIZE);  in xlat_change_mem_attributes_ctx()
594 		unsigned int level = 0U;  in xlat_change_mem_attributes_ctx()  local
598 					    &entry, &addr_pa, &level);  in xlat_change_mem_attributes_ctx()
631 		*entry = xlat_desc(ctx, new_attr, addr_pa, level);  in xlat_change_mem_attributes_ctx()