carta

clock_getcpuclockid(3) on Linux

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

obtain ID of a process CPU-time clock

clock_getcpuclockid(3) on Linux now