undelfs_stat_int  685 src/vfs/undelfs/undelfs.c     return undelfs_stat_int (inode_index, buf);
undelfs_stat_int  695 src/vfs/undelfs/undelfs.c     return undelfs_stat_int (p->f_index, buf);