Symbol: swap_pager_alloc