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