udev_device_get_devnum(category18-confixx.html) - phpMan