freeary
freeary(ns, ipcp);
static void freeary(struct ipc_namespace *, struct kern_ipc_perm *);
free_ipcs(ns, &sem_ids(ns), freeary);