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

/barrelfish-master/include/arch/x86/barrelfish/
H A Dipi_notify.h65 static inline errval_t ipi_notify_raise(struct ipi_notify *rc) function
/barrelfish-master/usr/bench/rcce/ipi_test/
H A Dmainrc.c70 ipi_notify_raise(&ob->ipi_notify);
92 ipi_notify_raise(&ob->ipi_notify);

Completed in 81 milliseconds