Searched refs:l2_page_table_index (Results 1 – 1 of 1) sorted by relevance
195 uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table); in arm_mmu_release_l2_table() local197 l2_page_tables_status[l2_page_table_index].l1_index = 0; in arm_mmu_release_l2_table()199 arm_mmu_l2_next_free_table = l2_page_table_index; in arm_mmu_release_l2_table()215 uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table); in arm_mmu_inc_l2_table_entries() local217 __ASSERT(l2_page_tables_status[l2_page_table_index].entries < ARM_MMU_PT_L2_NUM_ENTRIES, in arm_mmu_inc_l2_table_entries()220 l2_page_table_index, l2_page_table, in arm_mmu_inc_l2_table_entries()221 l2_page_tables_status[l2_page_table_index].l1_index); in arm_mmu_inc_l2_table_entries()223 ++l2_page_tables_status[l2_page_table_index].entries; in arm_mmu_inc_l2_table_entries()237 uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table); in arm_mmu_dec_l2_table_entries() local239 __ASSERT(l2_page_tables_status[l2_page_table_index].entries > 0, in arm_mmu_dec_l2_table_entries()[all …]
