devreserv
if (alloclist = devreserv(key, reqlist)) {
extern char **devreserv __P((long key, char **rsvlst[]));
char **devreserv(int, char ***);