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

/barrelfish-2018-10-04/lib/tweed/
H A Dtweed.c329 int handle_stolen_task(struct generic_task_desc * _tweed_top_) { function
/barrelfish-2018-10-04/include/tweed/
H A Dtweed.h154 handle_stolen_task((struct generic_task_desc *)task_id); \
496 int handle_stolen_task(struct generic_task_desc * _tweed_top_);

Completed in 31 milliseconds