Update ion_page_pool.c