sched_rr_get_interval(2) on Linux

The text 79a8f8b0a851, as Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo) shipped it.

get the SCHED_RR interval for the named process