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