Reference
sys_flock(9) on Linux
The text 2215999fd32f, as Debian 7 (Wheezy) shipped it.
flock system call.
sys_flock(9) on Linux now