splx(9freebsd) on Linux

The text cac7e7f572c9, as Debian 8 (Jessie) shipped it. The page shows this text now.

manipulate interrupt priorities

splx(9freebsd) on Linux now