udev_device_get_property_value(category9-linux-distributionen.html) - phpMan