1 #ifndef	__PIDFILE_INT_H__
2 #define	__PIDFILE_INT_H__
3 
4 int write_pid_file(int pf, pid_t pid, char *);
5 int make_pid_file(char *pidfile);
6 
7 #endif	/* __PIDFILE_INT_H__ */
8