# CONFIG_PAGE_POOL_STATS is not set
