forked from Imagelibrary/seL4
riscv: Get the lock first when handling interrupts
Get the lock when handling interrupts.
This commit is contained in:
@@ -102,7 +102,7 @@ void VISIBLE NORETURN restore_user_context(void)
|
||||
|
||||
void VISIBLE NORETURN c_handle_interrupt(void)
|
||||
{
|
||||
NODE_LOCK_IRQ;
|
||||
NODE_LOCK_IRQ_IF(getActiveIRQ() != irq_remote_call_ipi);
|
||||
|
||||
c_entry_hook();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user