Lines Matching defs:table
396 uint32_t *table,
408 VERBOSE("init xlat table at %p (level%1u)\n", (void *)table, level);
447 * Area not covered by a region so need finer table
448 * Reuse next level table if any (assert attrib matching).
449 * Otherwise allocate a xlat table.
451 if (*table) {
452 assert((*table & 3) == SECTION_PT_PT);
453 assert(((*table & SECTION_PT_NOTSECURE) == 0U)
456 xlat_table = (*table) &
458 desc = *table;
471 /* Recurse to fill in new table */
482 *table++ = desc;
537 /* set MMU base xlat table entry (use only TTBR0) */
542 * Ensure all translation table writes have drained