ost_TimerPort(3) on Linux
The text 5c7919132ff4, as Debian 4.0 (Etch) shipped it.
Timer ports are used to provide synchronized timing events when managed under a 'service thread' such as SocketService.synchronized millisecond timing for service threads.