Update `init_paging()'