Alexander Boettcher a092ad2fdd FOC: cli in context of leave_by_trigger_exception ...

Bug triggering on 64bit. Without the cli (as used on 32bit) the assertion
in kernel/fiasco/src/kern/thread-ipc.cpp:739 triggers.

2017-05-03 15:10:31 +02:00

..

fiasco

FOC: cli in context of leave_by_trigger_exception

2017-05-03 15:10:31 +02:00