1 files changed, 0 insertions, 12 deletions

diff --git a/firmware/kernel.c b/firmware/kernel.c
index 3255ba0b20..1c37f004a4 100644
--- a/firmware/kernel.c
+++ b/firmware/kernel.c
@@ -71,18 +71,6 @@ void yield(void)
 }
 
 /****************************************************************************
- * Interrupt level setting
- ****************************************************************************/
-int set_irq_level(int level)
-{
-    int i;
-    /* Read the old level and set the new one */
-    asm volatile ("stc sr, %0" : "=r" (i));
-    asm volatile ("ldc %0, sr" : : "r" (level << 4));
-    return (i >> 4) & 0x0f;
-}
-
-/****************************************************************************
  * Queue handling stuff
  ****************************************************************************/
 void queue_init(struct event_queue *q)