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

/barrelfish-2018-10-04/usr/drivers/xeon_phi/
H A Dservice.h46 errval_t service_bootstrap(struct xeon_phi *phi,
H A Dservice.c137 errval_t service_bootstrap(struct xeon_phi *phi, function
H A Dinterphi.c1096 err = service_bootstrap(phi, xphi, mi->frame);

Completed in 35 milliseconds