# CONFIG_NO_PAGE_MAPCOUNT is not set
