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

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.c61 static void send_ipi(uintptr_t recipient, int event) argument
63 if (((disabled_hart_mask >> recipient) & 1)) return;
64 atomic_or(&OTHER_HLS(recipient)->mipi_pending, event);
66 *OTHER_HLS(recipient)->ipi = 1;

Completed in 75 milliseconds