pub type DeviceServicingDetails = *mut c_void;