# CONFIG_PREEMPTIRQ_EVENTS is not set