# CONFIG_PREEMPT is not set