diff --git a/base/include/platform/imx53/drivers/board_base.h b/base/include/platform/imx53/drivers/board_base.h
index 7426299c7b..c7d154115d 100644
--- a/base/include/platform/imx53/drivers/board_base.h
+++ b/base/include/platform/imx53/drivers/board_base.h
@@ -81,8 +81,6 @@ namespace Genode
 			PWM2_BASE          = 0x53fb8000,
 			PWM2_SIZE          = 0x00004000,
 
-			IPU_ERR_IRQ        = 10,
-			IPU_SYNC_IRQ       = 11,
 			IPU_BASE           = 0x18000000,
 			IPU_SIZE           = 0x08000000,