mmu_l2_unmap
mmu_l2_unmap(mmu, l1_pt, idx, l2_pt, ptr, l1_aligned);
mmu_l2_unmap(mmu, l1_pt, idx, l2_pt, ptr, end);