/* indexed by minor device number */ /* indexed by minor device number */