diff --git a/base/include/platform/panda/drivers/board_base.h b/base/include/platform/panda/drivers/board_base.h
index 8f4ade2f4..319fca6e9 100644
--- a/base/include/platform/panda/drivers/board_base.h
+++ b/base/include/platform/panda/drivers/board_base.h
@@ -49,6 +49,9 @@ namespace Genode
 			TL16C750_3_IRQ = 106,
 			TL16C750_4_IRQ = 102,
 
+			/* USB */
+			HSUSB_EHCI_IRQ = 109,
+
 			/* timer modules */
 			GP_TIMER_3_IRQ = 71,
 
diff --git a/dde_linux/src/lib/usb/arm/platform_panda/platform.cc b/dde_linux/src/lib/usb/arm/platform_panda/platform.cc
index 1cd6b916a..44e11cc2a 100644
--- a/dde_linux/src/lib/usb/arm/platform_panda/platform.cc
+++ b/dde_linux/src/lib/usb/arm/platform_panda/platform.cc
@@ -14,6 +14,7 @@
 #include <platform/platform.h>
 #include <platform.h>
 
+#include <drivers/board_base.h>
 #include <gpio_session/connection.h>
 #include <io_mem_session/connection.h>
 #include <util/mmio.h>
@@ -38,10 +39,7 @@ enum {
 /**
  * Inerrupt numbers
  */
-enum {
- IRQ_GIC_START = 32,
- IRQ_EHCI      = IRQ_GIC_START + 77,
-};
+enum { IRQ_EHCI = Board_base::HSUSB_EHCI_IRQ };
 
 
 /**