The text 3e7f3d15b5a4, as Debian 7 (Wheezy) shipped it.
allocate ipc and rcu space
ipc_rcu_alloc(9) on Linux now
