dist/tools/ipfs.c

74 int	opendevice __P((char *));
312 			devfd = opendevice(NULL);
315 				devfd = opendevice(IPSTATE_NAME);
317 				devfd = opendevice(IPNAT_NAME);
350 int opendevice(ipfdev)
806 	fd = opendevice(NULL);
814 	devfd = opendevice(IPSTATE_NAME);
821 	devfd = opendevice(IPNAT_NAME);
856 	fd = opendevice(NULL);
864 	devfd = opendevice(IPSTATE_NAME);
871 	devfd = opendevice(IPNAT_NAME);