Searched refs:xlat_tables (Results 1 – 1 of 1) sorted by relevance
280 static uint64_t xlat_tables[XLAT_TABLE_SIZE * MAX_XLAT_TABLES /335 uint64_t *xlat_tables; member354 .xlat_tables = xlat_tables,538 tbl = (void *)((vaddr_t)prtn->xlat_tables + idx * XLAT_TABLE_SIZE); in get_l1_ta_table()547 idx = ((vaddr_t)tbl - (vaddr_t)prtn->xlat_tables) / XLAT_TABLE_SIZE; in set_l1_ta_table()593 prtn->xlat_tables = (void *)tbl; in core_alloc_mmu_prtn()684 if (prtn->xlat_tables) { in core_mmu_xlat_table_alloc()691 assert((vaddr_t)prtn->xlat_tables + in core_mmu_xlat_table_alloc()695 boot_mem_add_reloc(&prtn->xlat_tables); in core_mmu_xlat_table_alloc()696 prtn->xlat_tables = new_table; in core_mmu_xlat_table_alloc()[all …]