udev_device_get_driver(phpman.html) - phpMan