__arm_v7s_free_table
__arm_v7s_free_table(cptep, lvl + 1, data);
__arm_v7s_free_table(iopte_deref(pte, 1, data),
__arm_v7s_free_table(data->pgd, 1, data);
__arm_v7s_free_table(ptep, lvl + 1, data);