atomisp_set_pte
atomisp_set_pte(page, i, mmu->driver->null_pte);
atomisp_set_pte(l2_pt, idx, pte);
atomisp_set_pte(l1_pt, idx, l2_pte);
atomisp_set_pte(l2_pt, idx, mmu->driver->null_pte);
atomisp_set_pte(l1_pt, l1_idx, mmu->driver->null_pte);