Previous: Thread Special Ports, Up: Thread Interface
XXX Fixme
XXX Fixme
The system trap
evc_wait
makes the calling thread wait for the event specified by event.The call returns
KERN_SUCCESS
if the event has occurred,KERN_NO_SPACE
if another thread is waiting for the same event andKERN_INVALID_ARGUMENT
if the event object is invalid.