Searched refs:send_ipi (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ | ||
H A D | mtrap.c | 61 static void send_ipi(uintptr_t recipient, int event) function 112 send_ipi(i, event); 148 goto send_ipi; 152 goto send_ipi; 155 send_ipi: |
Completed in 24 milliseconds