53 static void xlat_desc_print(const xlat_ctx_t *ctx, uint64_t desc)  in xlat_desc_print()  argument
55 	uint64_t mem_type_index = ATTR_INDEX_GET(desc);  in xlat_desc_print()
69 		printf(((desc & LOWER_ATTRS(AP_RO)) != 0ULL) ? "-RO" : "-RW");  in xlat_desc_print()
70 		printf(((desc & UPPER_ATTRS(XN)) != 0ULL) ? "-XN" : "-EXEC");  in xlat_desc_print()
84 		uint64_t xn_perm = desc & xn_mask;  in xlat_desc_print()
88 		printf(((desc & LOWER_ATTRS(AP_RO)) != 0ULL) ? "-RO" : "-RW");  in xlat_desc_print()
90 		printf(((desc & UPPER_ATTRS(PXN)) != 0ULL) ? "-XN" : "-EXEC");  in xlat_desc_print()
95 		printf(((desc & LOWER_ATTRS(AP_ACCESS_UNPRIVILEGED)) != 0ULL)  in xlat_desc_print()
100 	switch (desc & LOWER_ATTRS(EL3_S1_NSE | NS)) {  in xlat_desc_print()
114 	printf(((LOWER_ATTRS(NS) & desc) != 0ULL) ? "-NS" : "-S");  in xlat_desc_print()
119 	if ((desc & GP) != 0ULL) {  in xlat_desc_print()
145 	uint64_t desc;  in xlat_tables_print_internal()  local
160 		desc = table_base[table_idx];  in xlat_tables_print_internal()
162 		if ((desc & DESC_MASK) == INVALID_DESC) {  in xlat_tables_print_internal()
185 			if (((desc & DESC_MASK) == TABLE_DESC) &&  in xlat_tables_print_internal()
197 				uintptr_t addr_inner = desc & TABLE_ADDR_MASK;  in xlat_tables_print_internal()
205 				       (uint64_t)(desc & TABLE_ADDR_MASK),  in xlat_tables_print_internal()
207 				xlat_desc_print(ctx, desc);  in xlat_tables_print_internal()
298 		uint64_t idx, desc, desc_type;  in find_xlat_table_entry()  local
307 		desc = table[idx];  in find_xlat_table_entry()
308 		desc_type = desc & DESC_MASK;  in find_xlat_table_entry()
331 		table = (uint64_t *)(uintptr_t)(desc & TABLE_ADDR_MASK);  in find_xlat_table_entry()
350 	uint64_t desc;  in xlat_get_mem_attributes_internal()  local
388 	desc = *entry;  in xlat_get_mem_attributes_internal()
392 	xlat_desc_print(ctx, desc);  in xlat_get_mem_attributes_internal()
399 	uint64_t attr_index = (desc >> ATTR_INDEX_SHIFT) & ATTR_INDEX_MASK;  in xlat_get_mem_attributes_internal()
410 	uint64_t ap2_bit = (desc >> AP2_SHIFT) & 1U;  in xlat_get_mem_attributes_internal()
416 		uint64_t ap1_bit = (desc >> AP1_SHIFT) & 1U;  in xlat_get_mem_attributes_internal()
422 	uint64_t ns_bit = (desc >> NS_SHIFT) & 1U;  in xlat_get_mem_attributes_internal()
429 	if ((desc & xn_mask) == xn_mask) {  in xlat_get_mem_attributes_internal()
432 		assert((desc & xn_mask) == 0U);  in xlat_get_mem_attributes_internal()
494 		uint64_t desc, attr_index;  in xlat_change_mem_attributes_ctx()  local
507 		desc = *entry;  in xlat_change_mem_attributes_ctx()
513 		if (((desc & DESC_MASK) != PAGE_DESC) ||  in xlat_change_mem_attributes_ctx()
525 		attr_index = (desc >> ATTR_INDEX_SHIFT) & ATTR_INDEX_MASK;  in xlat_change_mem_attributes_ctx()