/* Decrements the page table entry counter of a L2 page table Decrements the page table entry counter of a level 2 page table. Contains a check to ensure that no attempts are made to remove entries from the respective table that aren't actually there.  */
static void arm_mmu_dec_l2_table_entries(struct arm_mmu_l2_page_table *l2_page_table)
/* Decrements the page table entry counter of a L2 page table Decrements the page table entry counter of a level 2 page table. Contains a check to ensure that no attempts are made to remove entries from the respective table that aren't actually there.  */
static void arm_mmu_dec_l2_table_entries(struct arm_mmu_l2_page_table *l2_page_table)
{
	uint32_t l2_page_table_index = ARM_MMU_L2_PT_INDEX(l2_page_table);
	__ASSERT(l2_page_tables_status[l2_page_table_index].entries > 0,
		 "Cannot decrement entry count of the L2 page table at index "
		 "[%u] / addr %p / ref L1[%u]: entry count is already zero",
		 l2_page_table_index, l2_page_table,
		 l2_page_tables_status[l2_page_table_index].l1_index);
	if (--l2_page_tables_status[l2_page_table_index].entries == 0) {
		arm_mmu_release_l2_table(l2_page_table);
	}
}