udev_device_get_sysnum(category2-linux-allgemein.html) - phpMan