ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: use correct type on IRQ kernel object destruction

Browse Source 
Fixes #3560
This commit is contained in:
Christian Prochaska 2019-11-22 19:30:28 +01:00 committed by Christian Helmuth
parent 2778debc29
commit 57d080d4f8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/src/core/kernel/thread.cc
View File

@ -695,7 +695,7 @@ void Thread::_call()
case call_id_pause_vm(): _call_pause_vm(); return; case call_id_pause_vm(): _call_pause_vm(); return;
case call_id_pause_thread(): _call_pause_thread(); return; case call_id_pause_thread(): _call_pause_thread(); return;
case call_id_new_irq(): _call_new_irq(); return; case call_id_new_irq(): _call_new_irq(); return;
case call_id_delete_irq(): _call_delete<Irq>(); return; case call_id_delete_irq(): _call_delete<User_irq>(); return;
case call_id_ack_irq(): _call_ack_irq(); return; case call_id_ack_irq(): _call_ack_irq(); return;
case call_id_new_obj(): _call_new_obj(); return; case call_id_new_obj(): _call_new_obj(); return;
case call_id_delete_obj(): _call_delete_obj(); return; case call_id_delete_obj(): _call_delete_obj(); return;