corelinux_EventSemaphore(3) on Linux

The text 3faef63ad50c, as Debian 3.0 (Woody) shipped it.

EventSemaphore implements a way to queue its caller until a certain event takes place.