clear_next_level
clear_next_level(l++, next_level_idx(start), PTRS_PER_PTE);
clear_next_level(m, 0, next_level_idx(end));