Searched refs:odisp (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-master/kernel/
H A Dsyscall.c153 // XXX: We generally pass the current dispatcher as odisp, see e.g.
157 struct capability *odisp; local
159 &odisp, CAPRIGHTS_READ);
163 if (odisp->type != ObjType_Dispatcher) {
166 dcb->domain_id = odisp->u.dispatcher.dcb->domain_id;

Completed in 38 milliseconds