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