# CONFIG_PREEMPT_LL is not set