Searched refs:send_ipi_many (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ | ||
H A D | mtrap.c | 102 static void send_ipi_many(uintptr_t* pmask, int event) function 156 send_ipi_many((uintptr_t*)arg0, ipi_type); 256 send_ipi_many(0, IPI_HALT); |
Completed in 88 milliseconds