Before deleting previously implemented codes in set_pte_at().