Searched refs:soft_intr (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h126 void rump_irq_handle(int intr, int soft_intr);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c231 void rump_irq_handle(int intr, int soft_intr) argument
242 isr(intr, soft_intr);

Completed in 27 milliseconds