Symbol: docppline
usr/src/cmd/rpcgen/rpc_scan.c
177
docppline(curline, &linenum,
usr/src/cmd/rpcgen/rpc_scan.c
65
static void docppline(char *, int *, char **);