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