Searched refs:xlat_tables (Results 1 – 1 of 1) sorted by relevance
279 static uint64_t xlat_tables[XLAT_TABLE_SIZE * MAX_XLAT_TABLES /334 uint64_t *xlat_tables; member353 .xlat_tables = xlat_tables,537 tbl = (void *)((vaddr_t)prtn->xlat_tables + idx * XLAT_TABLE_SIZE); in get_l1_ta_table()546 idx = ((vaddr_t)tbl - (vaddr_t)prtn->xlat_tables) / XLAT_TABLE_SIZE; in set_l1_ta_table()592 prtn->xlat_tables = (void *)tbl; in core_alloc_mmu_prtn()683 if (prtn->xlat_tables) { in core_mmu_xlat_table_alloc()690 assert((vaddr_t)prtn->xlat_tables + in core_mmu_xlat_table_alloc()694 boot_mem_add_reloc(&prtn->xlat_tables); in core_mmu_xlat_table_alloc()695 prtn->xlat_tables = new_table; in core_mmu_xlat_table_alloc()[all …]