carta

ost_TimerPort(3) on Linux

The text 23f6f24fac57, as Debian 9 (Stretch) 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