udev_device_new_from_devnum(inc) - phpMan