Symbol: IS_IRQ_LOCAL