udev_device_get_devnum(category23-linux-links.html) - phpMan