# CONFIG_IDLE_PAGE_TRACKING is not set