394   auto     &&marked     = CxxDataCast(dctx)->marked_objects();  in PetscDeviceContextMapIterVisitor()
398   for (auto &&dep : marked) {  in PetscDeviceContextMapIterVisitor()
417   PetscCallCXX(marked.clear());  in PetscDeviceContextMapIterVisitor()
500 static PetscErrorCode MarkFromID_CompatibleModes(MarkedObjectMap::mapped_type &marked, PetscDeviceC…  in MarkFromID_CompatibleModes()  argument
503   auto      &object_dependencies = marked.dependencies;  in MarkFromID_CompatibleModes()
508 …de), object_dependencies.empty() ? "default" : "old", PetscMemoryAccessModeToString(marked.mode)));  in MarkFromID_CompatibleModes()
524 …if (const auto event = marked.last_write.event()) PetscCall(PetscDeviceContextWaitForEvent_Private…  in MarkFromID_CompatibleModes()
529 …rkFromID_IncompatibleModes_UpdateLastWrite(MarkedObjectMap::mapped_type &marked, PetscDeviceContex…  in MarkFromID_IncompatibleModes_UpdateLastWrite()  argument
532   auto           &last_write = marked.last_write;  in MarkFromID_IncompatibleModes_UpdateLastWrite()
533   auto           &last_dep   = marked.dependencies.back();  in MarkFromID_IncompatibleModes_UpdateLastWrite()
537 …etscAssert(marked.dependencies.size() == 1, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Can only have a sing…  in MarkFromID_IncompatibleModes_UpdateLastWrite()
540 …UG_INFO("moving last write dependency (intent %s)\n", PetscMemoryAccessModeToString(marked.mode)));  in MarkFromID_IncompatibleModes_UpdateLastWrite()
550 …apping last dependency with last write\n", PetscMemoryAccessModeToString(marked.mode), PetscDevice…  in MarkFromID_IncompatibleModes_UpdateLastWrite()
573 static PetscErrorCode MarkFromID_IncompatibleModes(MarkedObjectMap::mapped_type &marked, PetscDevic…  in MarkFromID_IncompatibleModes()  argument
575   auto &old_mode            = marked.mode;  in MarkFromID_IncompatibleModes()
576   auto &object_dependencies = marked.dependencies;  in MarkFromID_IncompatibleModes()
585 …sWrite(old_mode)) PetscCall(MarkFromID_IncompatibleModes_UpdateLastWrite(marked, dctx, id, mode, f…  in MarkFromID_IncompatibleModes()
596   auto &marked                     = marked_object_map.map[id];  in PetscDeviceContextMarkIntentFromID_Private()  local
597   auto &object_dependencies        = marked.dependencies;  in PetscDeviceContextMarkIntentFromID_Private()
601   if ((marked.mode == PETSC_MEMORY_ACCESS_READ) && (mode == PETSC_MEMORY_ACCESS_READ)) {  in PetscDeviceContextMarkIntentFromID_Private()
602 …PetscCall(MarkFromID_CompatibleModes(marked, dctx, id, mode, frame, name, &update_object_dependenc…  in PetscDeviceContextMarkIntentFromID_Private()
604 …PetscCall(MarkFromID_IncompatibleModes(marked, dctx, id, mode, frame, name, &update_object_depende…  in PetscDeviceContextMarkIntentFromID_Private()