31 #include "common/kernel/events.h"
33 int initEvents(
int count);
34 uint32_t openEvent(uint32_t
class, uint32_t spec, uint32_t mode,
void (*handler)());
35 void deliverEvent(uint32_t
class, uint32_t spec);
36 void undeliverEvent(uint32_t
class, uint32_t spec);
37 int testEvent(uint32_t event);
38 int enableEvent(uint32_t event);
39 int disableEvent(uint32_t event);
40 int closeEvent(uint32_t event);
41 int waitEvent(uint32_t event);
42 int getFreeEvCBSlot();