Symbol: IRQ_LEVEL