Searched defs: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() local215 uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table); in arm_mmu_inc_l2_table_entries() local237 uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table); in arm_mmu_dec_l2_table_entries() local