# CONFIG_HAVE_PREEMPT_DYNAMIC is not set
