The text e83f6c775adc, as Debian 3.1 (Sarge) shipped it.
set and get scheduling parameters
sched_setparam(2) on Linux now
