Addressed comments on page_alloc.c