Symbol: irqs_disabled