# CONFIG_PREEMPT_COUNT is not set
