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