246   PetscDeviceContext dctx_a, dctx_b, dctx_c;  in main()  local
258     for (auto &&ctx : {dctx_a, dctx_b, dctx_c}) PetscCall(PetscDeviceContextSynchronize(ctx));  in main()
279   PetscCall(PetscDeviceContextDuplicate(dctx_a, &dctx_c));  in main()
280   PetscCall(PetscObjectSetName(PetscObjectCast(dctx_c), "dctx_c"));  in main()
283   PetscCall(PetscDeviceContextViewFromOptions(dctx_c, nullptr, "-dctx_c_view"));  in main()
337   PetscCall(PetscDeviceContextSynchronize(dctx_c));  in main()
353   PetscCall(mem_write(dctx_c, x));  in main()
354   PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_WRITE, dctx_c)}));  in main()
355   PetscCall(PetscDeviceContextSynchronize(dctx_c));  in main()
383   PetscCall(PetscDeviceContextWaitForContext(dctx_c, dctx_b));  in main()
386   PetscCall(PetscDeviceContextSynchronize(dctx_c));  in main()
392   PetscCall(PetscDeviceContextWaitForContext(dctx_c, dctx_b));  in main()
394   PetscCall(PetscDeviceContextSynchronize(dctx_c));  in main()
402   PetscCall(mem_read(dctx_c, x));  in main()
403 …PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_READ, dctx_a, dctx_b, dctx_c)}));  in main()
411   PetscCall(PetscDeviceContextDestroy(&dctx_c));  in main()