# CONFIG_PREEMPT_NONE_BEHAVIOUR is not set
