device_get_driver - access the current driver of a device
#include <sys/param.h>
#include <sys/bus.h>
driver_t *
device_get_driver(device_t dev);
The current driver associated with the device is returned. If the device
has no driver, NULL is returned.
device(9), driver(9)
This manual page was written by Doug Rabson.