Symbol: kswapd_highest_zoneidx