ipcctl_pre_down(9) on Linux

The text 6d1bca35e01a, as Debian 6.0 (Squeeze) shipped it.

retrieve an ipc and check permissions for some IPC_XXX cmd

ipcctl_pre_down(9) on Linux now