54 static void xlat_desc_print(const xlat_ctx_t *ctx, uint64_t desc)  in xlat_desc_print()  argument
56 	uint64_t mem_type_index = ATTR_INDEX_GET(desc);  in xlat_desc_print()
70 		printf(((desc & LOWER_ATTRS(AP_RO)) != 0ULL) ? "-RO" : "-RW");  in xlat_desc_print()
71 		printf(((desc & UPPER_ATTRS(XN)) != 0ULL) ? "-XN" : "-EXEC");  in xlat_desc_print()
85 		uint64_t xn_perm = desc & xn_mask;  in xlat_desc_print()
89 		printf(((desc & LOWER_ATTRS(AP_RO)) != 0ULL) ? "-RO" : "-RW");  in xlat_desc_print()
91 		printf(((desc & UPPER_ATTRS(PXN)) != 0ULL) ? "-XN" : "-EXEC");  in xlat_desc_print()
96 		printf(((desc & LOWER_ATTRS(AP_ACCESS_UNPRIVILEGED)) != 0ULL)  in xlat_desc_print()
101 	switch (desc & LOWER_ATTRS(EL3_S1_NSE | NS)) {  in xlat_desc_print()
115 	printf(((LOWER_ATTRS(NS) & desc) != 0ULL) ? "-NS" : "-S");  in xlat_desc_print()
120 	if ((desc & GP) != 0ULL) {  in xlat_desc_print()
146 	uint64_t desc;  in xlat_tables_print_internal()  local
161 		desc = table_base[table_idx];  in xlat_tables_print_internal()
163 		if ((desc & DESC_MASK) == INVALID_DESC) {  in xlat_tables_print_internal()
186 			if (((desc & DESC_MASK) == TABLE_DESC) &&  in xlat_tables_print_internal()
198 				uintptr_t addr_inner = desc & TABLE_ADDR_MASK;  in xlat_tables_print_internal()
206 				       (uint64_t)(desc & TABLE_ADDR_MASK),  in xlat_tables_print_internal()
208 				xlat_desc_print(ctx, desc);  in xlat_tables_print_internal()
299 		uint64_t idx, desc, desc_type;  in find_xlat_table_entry()  local
308 		desc = table[idx];  in find_xlat_table_entry()
309 		desc_type = desc & DESC_MASK;  in find_xlat_table_entry()
332 		table = (uint64_t *)(uintptr_t)(desc & TABLE_ADDR_MASK);  in find_xlat_table_entry()
351 	uint64_t desc;  in xlat_get_mem_attributes_internal()  local
389 	desc = *entry;  in xlat_get_mem_attributes_internal()
393 	xlat_desc_print(ctx, desc);  in xlat_get_mem_attributes_internal()
400 	uint64_t attr_index = (desc >> ATTR_INDEX_SHIFT) & ATTR_INDEX_MASK;  in xlat_get_mem_attributes_internal()
411 	uint64_t ap2_bit = (desc >> AP2_SHIFT) & 1U;  in xlat_get_mem_attributes_internal()
417 		uint64_t ap1_bit = (desc >> AP1_SHIFT) & 1U;  in xlat_get_mem_attributes_internal()
423 	uint64_t ns_bit = (desc >> NS_SHIFT) & 1ULL;  in xlat_get_mem_attributes_internal()
426 	uint64_t nse_bit = (desc >> NSE_SHIFT) & 1ULL;  in xlat_get_mem_attributes_internal()
479 	if ((desc & xn_mask) == xn_mask) {  in xlat_get_mem_attributes_internal()
482 		assert((desc & xn_mask) == 0U);  in xlat_get_mem_attributes_internal()
544 		uint64_t desc, attr_index;  in xlat_change_mem_attributes_ctx()  local
557 		desc = *entry;  in xlat_change_mem_attributes_ctx()
563 		if (((desc & DESC_MASK) != PAGE_DESC) ||  in xlat_change_mem_attributes_ctx()
575 		attr_index = (desc >> ATTR_INDEX_SHIFT) & ATTR_INDEX_MASK;  in xlat_change_mem_attributes_ctx()