Symbol: bio_page_alloc