This function is declared in the kos/event.h file.
kos/event.h
void KosEventReset(KosEvent *event);
This function switches an event to the non-signaling state (resets the event).
event