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

/barrelfish-master/include/arch/x86/barrelfish/
H A Dipi_notify.h24 struct ipi_alloc_continuation { struct
39 struct ipi_alloc_continuation cont;
47 struct ipi_alloc_continuation cont);
/barrelfish-master/lib/barrelfish/arch/x86/
H A Dipi_notify.c71 struct ipi_alloc_continuation cont)

Completed in 33 milliseconds