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

/barrelfish-master/kernel/
H A Dsyscall.c758 struct dcb *target_dcb = NULL; local
760 target_dcb = yield_to->u.endpointlmp.listener;
762 target_dcb = yield_to->u.dispatcher.dcb;
768 (uint32_t)(lvaddr_t)target_dcb & 0xFFFFFFFF);
769 make_runnable(target_dcb);
770 dispatch(target_dcb);

Completed in 59 milliseconds