Index: kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h	(revision 13be128dc5ca8b145714cf2428f32b3510e7ff1b)
+++ kernel/genarch/include/drivers/amdm37x_uart/amdm37x_uart.h	(revision 914e063ba37b60693e61e95856cc5c58cf0049a1)
@@ -39,4 +39,5 @@
 #include <typedefs.h>
 #include <console/chardev.h>
+#include <ddi/irq.h>
 
 /* AMDM37x TRM p. 2950 */
@@ -431,6 +432,6 @@
 	/** RX/TX empty status */
 	ioport32_t isr2;
-#define AMDM37x_UART_IER2_RX_FIFO_EMPTY_FLAG  (1 << 0)
-#define AMDM37x_UART_IER2_TX_FIFO_EMPTY_FLAG  (1 << 1)
+#define AMDM37x_UART_ISR2_RX_FIFO_EMPTY_FLAG  (1 << 0)
+#define AMDM37x_UART_ISR2_TX_FIFO_EMPTY_FLAG  (1 << 1)
 
 	uint32_t padd2_[3];
@@ -445,4 +446,5 @@
 	indev_t *indev;
 	outdev_t outdev;
+	irq_t irq;
 } amdm37x_uart_t;