Searched refs:marked_object_map (Results 1 – 1 of 1) sorted by relevance
353 static MarkedObjectMap marked_object_map; variable362 const auto &map = marked_object_map.map; in PetscGetMarkedObjectMap_Internal()395 auto &object_map = marked_object_map.map; in PetscDeviceContextMapIterVisitor()596 auto &marked = marked_object_map.map[id]; in PetscDeviceContextMarkIntentFromID_Private()658 PetscCall(marked_object_map.register_finalize()); in PetscDeviceContextMarkIntentFromID()