Symbol: wdwmsg
usr/src/cmd/allocate/allocate.c
223
(void) wdwmsg(name, msgbuf);
usr/src/cmd/allocate/allocate.c
58
static int wdwmsg(char *name, char *msg);