carta

ost_TimerPort(3) on Linux

The text c80ea49bb3d5, as Debian 8 (Jessie) 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