poollist_dead
poollist_dead(role, poolname, type, kernel, core);
void poollist_dead __P((int, char *, int, char *, char *));