Reference

sooptcopyout(9freebsd) on Linux

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

kernel socket interface

sooptcopyout(9freebsd) on Linux now