387     const auto default_dtype = PETSC_DEVICE_DEFAULT();  in PetscDeviceContextSetUp()
405 …if (const auto device = dctx->device) PetscCall(PetscDeviceContextSetDevice_Private(*dctxdup, devi…  in PetscDeviceContextDuplicate_Private()
445   auto stype = PETSC_STREAM_DEFAULT;  in PetscDeviceContextDuplicate()
591   auto        ninput = n;  in PetscDeviceContextForkWithStreamType()
605     const auto numChildren    = dctx->numChildren;  in PetscDeviceContextForkWithStreamType()
606     auto      &maxNumChildren = dctx->maxNumChildren;  in PetscDeviceContextForkWithStreamType()
607     auto       numAllocated   = numChildren;  in PetscDeviceContextForkWithStreamType()
610     if (auto &childIDs = dctx->childIDs) {  in PetscDeviceContextForkWithStreamType()
626     auto &childID = dctx->childIDs[i];  in PetscDeviceContextForkWithStreamType()
629       auto &childctx = (*dsub)[i];  in PetscDeviceContextForkWithStreamType()
680   auto stype = PETSC_STREAM_DEFAULT;  in PetscDeviceContextFork()
781     const auto children = dctx->childIDs;  in PetscDeviceContextJoin()
782     const auto maxchild = dctx->maxNumChildren;  in PetscDeviceContextJoin()
783     auto      &nchild   = dctx->numChildren;  in PetscDeviceContextJoin()
858 static auto nullContexts          = std::array<std::vector<PetscDeviceContext>, PETSC_DEVICE_MAX>{};
859 static auto nullContextsFinalizer = false;
873       for (auto &&dvec : nullContexts) {  in PetscDeviceContextGetNullContextForDevice_Private()
874         for (auto &&dctx : dvec) PetscCall(PetscDeviceContextDestroy(&dctx));  in PetscDeviceContextGetNullContextForDevice_Private()
884     auto &ctxlist = nullContexts[dtype];  in PetscDeviceContextGetNullContextForDevice_Private()
896         const auto pobj   = PetscObjectCast(*dctx);  in PetscDeviceContextGetNullContextForDevice_Private()
897         const auto name   = "null context " + std::to_string(devid);  in PetscDeviceContextGetNullContextForDevice_Private()
898         const auto prefix = "null_context_" + std::to_string(devid) + '_';  in PetscDeviceContextGetNullContextForDevice_Private()
958   const auto pobj     = PetscObjectCast(dctx);  in PetscDeviceContextSetFromOptions()
959   auto       dtype    = std::make_pair(PETSC_DEVICE_DEFAULT(), PETSC_FALSE);  in PetscDeviceContextSetFromOptions()
960   auto       stype    = std::make_pair(PETSC_DEVICE_CONTEXT_DEFAULT_STREAM_TYPE, PETSC_FALSE);  in PetscDeviceContextSetFromOptions()
967   if (const auto device = dctx->device) PetscCall(PetscDeviceGetType(device, &dtype.first));  in PetscDeviceContextSetFromOptions()
1016     auto        stype = PETSC_STREAM_DEFAULT;  in PetscDeviceContextView()
1025     if (const auto nchild = dctx->numChildren) {  in PetscDeviceContextView()
1039   if (const auto device = dctx->device) PetscCall(PetscDeviceView(device, viewer));  in PetscDeviceContextView()
1081   There is no way for PETSc's auto-dependency system to track what the caller does with the