# CONFIG_PREEMPTIRQ_DELAY_TEST is not set