1#ifndef NOTIFICATOR_H 2#define NOTIFICATOR_H 3 4 5#include <barrelfish/waitset.h> 6#include <barrelfish/barrelfish.h> 7#include <barrelfish/dispatch.h> 8 9typedef bool (*check_notification_fn_type)(void *object); 10 11struct notificator 12{ 13 struct notificator *prev, *next; 14 void *object; 15 check_notification_fn_type can_read, can_write; 16 struct waitset_chanstate ready_to_read, ready_to_write; 17}; 18 19 20void notificator_init(struct notificator *notificator, void *object, 21 check_notification_fn_type can_read, check_notification_fn_type can_write); 22 23void check_notificators_disabled(dispatcher_handle_t handle); 24 25#endif 26