udev_device_get_sysnum(category35-downloads.html) - phpMan