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          380 kernel/sysfile.c     f->type = FD_INODE;