udev_device_get_devtype(phpman.html) - phpMan