ipcctl_pre_down(9) on Linux

The text 98113d49e621, as Debian 5.0 (Lenny) shipped it.

retrieve an ipc and check permissions for some IPC_XXX cmd

ipcctl_pre_down(9) on Linux now