udev_device_get_devnum(category4-postfix.html) - phpMan