Reference

sogetopt(9freebsd) on Linux

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

kernel socket interface

sogetopt(9freebsd) on Linux now