/* Releases a level 2 page table Releases a level 2 page table, marking it as no longer in use. From that point on, it can be re-used for mappings in another 1 MB virtual address range. This function is called whenever it is determined during an unmap call at run-time that the page table entry count in the respective page table has reached 0.  */
static void arm_mmu_release_l2_table(struct arm_mmu_l2_page_table *l2_page_table)
/* Releases a level 2 page table Releases a level 2 page table, marking it as no longer in use. From that point on, it can be re-used for mappings in another 1 MB virtual address range. This function is called whenever it is determined during an unmap call at run-time that the page table entry count in the respective page table has reached 0.  */
static void arm_mmu_release_l2_table(struct arm_mmu_l2_page_table *l2_page_table)
{
	uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table);
	l2_page_tables_status[l2_page_table_index].l1_index = 0;
	if (arm_mmu_l2_tables_free == 0) {
		arm_mmu_l2_next_free_table = l2_page_table_index;
	}
	++arm_mmu_l2_tables_free;
}