udev_device_get_devnum(category11-mail-server.html) - phpMan