carta

ost_TimerPort(3) on Linux

The text f0f73f42a2ee, as Debian 10 (Buster) shipped it.

Timer ports are used to provide synchronized timing events when managed under a 'service thread' such as SocketService.

ost_TimerPort(3) on Linux now