udev_device_get_property_value(3) - phpMan