udev_device_get_sysnum(poll.html) - phpMan