The text 736b402507c8, as Debian 7 (Wheezy) shipped it.
manipulate interrupt priorities
splvm(9freebsd) on Linux now
