udev_device_new_from_devnum(3) - phpMan