146     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_components()  local
150     if (fuzz_chance(fuzz_ctx, 4))  in cb_components()
161     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_imageset_versions()  local
169     if (fuzz_chance(fuzz_ctx, 4))  in cb_imageset_versions()
181     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_update_component()  local
183     if (fuzz_chance(fuzz_ctx, 4))  in cb_update_component()
190         assert(!fuzz_ctx->current_update);  in cb_update_component()
192         fuzz_ctx->current_update = true;  in cb_update_component()
193         fuzz_ctx->transferred = false;  in cb_update_component()
194         fuzz_ctx->verified = false;  in cb_update_component()
195         fuzz_ctx->applied = false;  in cb_update_component()
196         fuzz_ctx->offset = 0;  in cb_update_component()
197         memcpy(&fuzz_ctx->update_comp, comp, sizeof(*comp));  in cb_update_component()
206     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_transfer_size()  local
208     if (fuzz_chance(fuzz_ctx, 50))  in cb_transfer_size()
223     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_firmware_data()  local
225     assert(fuzz_ctx->current_update);  in cb_firmware_data()
226     assert(!fuzz_ctx->transferred);  in cb_firmware_data()
227     assert(!fuzz_ctx->verified);  in cb_firmware_data()
228     assert(!fuzz_ctx->applied);  in cb_firmware_data()
229     assert(offset == fuzz_ctx->offset);  in cb_firmware_data()
230     fuzz_ctx->offset += len;  in cb_firmware_data()
231     assert(fuzz_ctx->offset <= fuzz_ctx->update_comp.comp_image_size);  in cb_firmware_data()
232     assert(memcmp(comp, &fuzz_ctx->update_comp, sizeof(*comp)) == 0);  in cb_firmware_data()
234     if (fuzz_ctx->offset == fuzz_ctx->update_comp.comp_image_size)  in cb_firmware_data()
236         fuzz_ctx->transferred = true;  in cb_firmware_data()
239     if (fuzz_chance(fuzz_ctx, 2))  in cb_firmware_data()
252     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_verify()  local
254     assert(fuzz_ctx->current_update);  in cb_verify()
255     assert(fuzz_ctx->transferred);  in cb_verify()
256     assert(!fuzz_ctx->verified);  in cb_verify()
257     assert(!fuzz_ctx->applied);  in cb_verify()
258     assert(memcmp(comp, &fuzz_ctx->update_comp, sizeof(*comp)) == 0);  in cb_verify()
260     if (fuzz_chance(fuzz_ctx, 5))  in cb_verify()
266     if (fuzz_chance(fuzz_ctx, 50))  in cb_verify()
273         fuzz_ctx->verified = true;  in cb_verify()
285     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_apply()  local
287     assert(fuzz_ctx->current_update);  in cb_apply()
288     assert(fuzz_ctx->transferred);  in cb_apply()
289     assert(fuzz_ctx->verified);  in cb_apply()
290     assert(!fuzz_ctx->applied);  in cb_apply()
291     assert(memcmp(comp, &fuzz_ctx->update_comp, sizeof(*comp)) == 0);  in cb_apply()
293     if (fuzz_chance(fuzz_ctx, 5))  in cb_apply()
299     if (fuzz_chance(fuzz_ctx, 50))  in cb_apply()
307         fuzz_ctx->current_update = false;  in cb_apply()
308         fuzz_ctx->applied = true;  in cb_apply()
318     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_activate()  local
320     assert(!fuzz_ctx->current_update);  in cb_activate()
321     if (fuzz_chance(fuzz_ctx, 5))  in cb_activate()
332     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_cancel_update_component()  local
334     assert(fuzz_ctx->current_update);  in cb_cancel_update_component()
335     assert(fuzz_ctx->offset <= fuzz_ctx->update_comp.comp_image_size);  in cb_cancel_update_component()
336     assert(memcmp(comp, &fuzz_ctx->update_comp, sizeof(*comp)) == 0);  in cb_cancel_update_component()
337     fuzz_ctx->current_update = false;  in cb_cancel_update_component()
342     struct fuzz_ops_ctx* fuzz_ctx = static_cast<struct fuzz_ops_ctx*>(ctx);  in cb_now()  local
345     fuzz_ctx->now += 3000;  in cb_now()
346     return fuzz_ctx->now;  in cb_now()