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

/barrelfish-2018-10-04/include/flounder/
H A Dflounder_support.h48 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dflounder_support.c95 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb) function

Completed in 32 milliseconds