Update page_alloc.c