Searched refs:ipi_notify_deregister (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/arch/x86/barrelfish/ | ||
| H A D | ipi_notify.h | 60 static inline errval_t ipi_notify_deregister(struct ipi_notify *uc) function |
Completed in 112 milliseconds