#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)