This function is declared in the kos/event.h file.
kos/event.h
void KosEventSet(KosEvent *event);
This function switches an event to the signaling state (signals the event) and thereby wakes all threads that are waiting for it.
event