11 #define DBG(...) printf ( __VA_ARGS__ )  macro
13 #define DBG(...)  macro
31 		DBG ( "Invalid IRQ number %d\n" );  in install_irq_handler()
38 	DBG ( "Installing handler at %hx:%hx for IRQ %d, leaving %s\n",  in install_irq_handler()
41 	DBG ( "...(previous handler at %hx:%hx)\n",  in install_irq_handler()
61 		DBG ( "Invalid IRQ number %d\n" );  in remove_irq_handler()
66 		DBG ( "Cannot remove handler for IRQ %d\n" );  in remove_irq_handler()
70 	DBG ( "Removing handler for IRQ %d\n", irq );  in remove_irq_handler()
82 	DBG ( "Sending specific EOI for IRQ %d\n", irq );  in send_specific_eoi()
133 		DBG ( "Can install undi IRQ handler only once\n" );  in install_undi_irq_handler()
137 		DBG ( "Trivial IRQ handler not in base memory\n" );  in install_undi_irq_handler()
141 	DBG ( "Installing undi IRQ handler on IRQ %d\n", irq );  in install_undi_irq_handler()
150 	DBG ( "Disabling undi IRQ %d\n", irq );  in install_undi_irq_handler()
154 	DBG ( "UNDI IRQ handler installed successfully\n" );  in install_undi_irq_handler()
166 		DBG ( "Cannot uninstall undi IRQ handler from IRQ %d; "  in remove_undi_irq_handler()
178 		DBG ( "Sending EOI for unwanted undi IRQ\n" );  in remove_undi_irq_handler()