hal_device_property_get_uint64
hal_device_property_get_uint64 (device2, key))
to_device, to, hal_device_property_get_uint64 (from_device, from));
dbus_uint64_t hal_device_property_get_uint64 (HalDevice *device,
*result = ((dbus_int64_t) hal_device_property_get_uint64 (d, key)) - ((dbus_int64_t) strtoll (right_side, NULL, 0));
if (hal_device_property_get_uint64 (d, prop_to_check) != value) {