Symbol: xen_irqs_disabled