device_get_driver — access the current driver of a device
Contents
Description
The current driver associated with the device is returned. If the device has no driver, NULL is
returned.
Name
device_get_driver — access the current driver of a device
See Also
device(9), driver(9)
Synopsis
#include<sys/param.h>#include<sys/bus.h>driver_t*device_get_driver(device_tdev);
