d_header         1835 source/dumsockc.c void d_header(char *mname)
d_header         3287 source/sockc.c void d_header(char *mname)