Searched defs:ipi_register_notification (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/x86/
H A Dipi_notify.c42 errval_t ipi_register_notification(capaddr_t ep, int chanid) function

Completed in 39 milliseconds