compat_25_sys_statfs  194 compat/bsdos/bsdos_syscallargs.h int	compat_25_sys_statfs(struct proc *, void *, register_t *);
compat_25_sys_statfs  360 compat/bsdos/bsdos_sysent.c 	    compat_25_sys_statfs },		/* 157 = statfs */
compat_25_sys_statfs 1406 sys/syscallargs.h int	compat_25_sys_statfs(struct proc *, void *, register_t *);