Update paging.c