devfs_get_name() or header file needed

[Robert Siemer <Robert.Siemer@xxxxxx>]

Hi!  (:

I'm writing a device driver for my RDS radio tuner. I need to create
some files in /proc/rds/radio0/. To get the correct name of my radio
(radio0 in this example) I want to fetch it from the
video_device.devfs_handle->name   pointer.

Problem: devfs_entry is kept private (no header file) and
devfs_get_name() is not exported, so I cant use it with my
device.devfs_handle.

Is there any reason to not export it?
(kernel 2.4.0-testX)


Thanks,
        Robert  (:

PS: Can I do something against modprobe race conditions with devfsd?