From 57d080d4f88033ff32fd01d0cdcac5451e68033c Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Fri, 22 Nov 2019 19:30:28 +0100 Subject: [PATCH] hw: use correct type on IRQ kernel object destruction Fixes #3560 --- repos/base-hw/src/core/kernel/thread.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/kernel/thread.cc b/repos/base-hw/src/core/kernel/thread.cc index 3fffc3a413..9f4d6db3e7 100644 --- a/repos/base-hw/src/core/kernel/thread.cc +++ b/repos/base-hw/src/core/kernel/thread.cc @@ -695,7 +695,7 @@ void Thread::_call() case call_id_pause_vm(): _call_pause_vm(); return; case call_id_pause_thread(): _call_pause_thread(); return; case call_id_new_irq(): _call_new_irq(); return; - case call_id_delete_irq(): _call_delete(); return; + case call_id_delete_irq(): _call_delete(); return; case call_id_ack_irq(): _call_ack_irq(); return; case call_id_new_obj(): _call_new_obj(); return; case call_id_delete_obj(): _call_delete_obj(); return;