___PD              42 kernel/irq/debug.h 	___PD(IRQS_INPROGRESS);
___PD              43 kernel/irq/debug.h 	___PD(IRQS_DISABLED);
___PD              44 kernel/irq/debug.h 	___PD(IRQS_MASKED);