Searched refs:xlat_tables (Results 1 – 1 of 1) sorted by relevance
32 static uint64_t xlat_tables[CONFIG_MAX_XLAT_TABLES * Ln_XLAT_NUM_ENTRIES]50 table = &xlat_tables[i * Ln_XLAT_NUM_ENTRIES]; in new_table()63 unsigned int i = (pte - xlat_tables) / Ln_XLAT_NUM_ENTRIES; in table_index()882 MMU_DEBUG("%d: %p\n", index, xlat_tables + index * Ln_XLAT_NUM_ENTRIES); in setup_page_tables()
