# CONFIG_PREEMPT_LAZY is not set
