From 3ee2997198559b005e55ce4fb2da79a8311a6ad0 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Fri, 26 Jun 2015 11:30:55 +0200 Subject: [PATCH] hw: remove unused declaration in core Ref #1588 --- repos/base-hw/src/core/include/platform.h | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/repos/base-hw/src/core/include/platform.h b/repos/base-hw/src/core/include/platform.h index 3ae8bc8f56..8fddac816e 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 */