udev_device_get_is_initialized(inc) - phpMan