udev_device_get_devnum(category15-traffic.html) - phpMan