Symbol: write_pid
usr/src/cmd/ipf/tools/ipmon.c
161
static void write_pid __P((char *));
usr/src/cmd/ipf/tools/ipmon.c
1643
write_pid(pidfile);