diff --git a/repos/base-hw/src/core/include/platform.h b/repos/base-hw/src/core/include/platform.h
index 3ae8bc8f5..8fddac816 100644
--- a/repos/base-hw/src/core/include/platform.h
+++ b/repos/base-hw/src/core/include/platform.h
@@ -101,16 +101,6 @@ namespace Genode {
 			static Native_region * _core_only_ram_regions(unsigned i);
 			static Native_region * _core_only_mmio_regions(unsigned i);
 
-			/**
-			 * Get one of the consecutively numbered user interrupts
-			 *
-			 * \param i  index of interrupt
-			 *
-			 * \return  >0  pointer to the name of the requested interrupt
-			 *          0   no interrupt for that index
-			 */
-			static unsigned * _irq(unsigned const i);
-
 			/**
 			 * Constructor
 			 */