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 23 milliseconds