ctrsv(3) on Linux

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

ctrsv(3) on Linux now