___PS              37 kernel/irq/debug.h 	___PS(IRQS_AUTODETECT);
___PS              38 kernel/irq/debug.h 	___PS(IRQS_REPLAY);
___PS              39 kernel/irq/debug.h 	___PS(IRQS_WAITING);
___PS              40 kernel/irq/debug.h 	___PS(IRQS_PENDING);