FD_INODE           78 kernel/file.c    } else if(ff.type == FD_INODE || ff.type == FD_DEVICE){
FD_INODE           93 kernel/file.c    if(f->type == FD_INODE || f->type == FD_DEVICE){
FD_INODE          120 kernel/file.c    } else if(f->type == FD_INODE){
FD_INODE          148 kernel/file.c    } else if(f->type == FD_INODE){
FD_INODE          356 kernel/sysfile.c     f->type = FD_INODE;