# CONFIG_PREEMPT_NONE is not set