Symbol: shared_page_alloc