carta

sched_rr_get_interval(2) on Linux

The text 66740e9289c3, as Debian 7 (Wheezy) shipped it.

get the SCHED_RR interval for the named process

sched_rr_get_interval(2) on Linux now