#define SWITCH_IRQ (282) #define BOOT_IRQ (283) #define SCHED_IRQ (284) #define SOTER_IRQ (285) #define FP_ACK_IRQ (287) #define BDRV_IRQ (278) #define TEEI_LOG_IRQ (277) #define SOTER_ERROR_IRQ (276)
