VxW 6.9: Access to all device names from a DKM?

Can anybody give me a hint on how to get access to all device names in the system from a downloadable kernel module (e.g. via access to the device table or by fetching the output from “devs”)? Some devices are dynamically allocated (e.g. due to a Telnet request) and have randomized names.