185   switch (const auto dtype = device->type) {  in PetscDeviceConfigure()
221   auto      sub = viewer;  in PetscDeviceView()
235     auto        dtype = PETSC_DEVICE_HOST;  in PetscDeviceView()
332 auto default_device_type = DefaultDeviceType();
395     auto &dev  = defaultDevices[type].first;  in PetscDeviceInitializeDefaultDevice_Internal()
396     auto &init = defaultDevices[type].second;  in PetscDeviceInitializeDefaultDevice_Internal()
537   auto     initDeviceIdx = static_cast<PetscInt>(*deviceContextInitDevice);  in PetscDeviceInitializeQueryOptions_Private()
538   auto     flg           = PETSC_FALSE;  in PetscDeviceInitializeQueryOptions_Private()
593       for (auto &&device : defaultDevices) {  in PetscDeviceFinalize_Private()
594         const auto dev = device.first;  in PetscDeviceFinalize_Private()
601   for (auto &&device : defaultDevices) {  in PetscDeviceFinalize_Private()
631   auto defaultView                    = PETSC_FALSE;  in PetscDeviceInitializeFromOptions_Internal()
632   auto initializeDeviceContextEagerly = PETSC_FALSE;  in PetscDeviceInitializeFromOptions_Internal()
633   auto defaultDeviceIdSet             = PETSC_FALSE;  in PetscDeviceInitializeFromOptions_Internal()
634   auto defaultDeviceId                = PetscInt{PETSC_DECIDE};  in PetscDeviceInitializeFromOptions_Internal()
635   auto deviceContextInitDevice        = PETSC_DEVICE_DEFAULT();  in PetscDeviceInitializeFromOptions_Internal()
636   auto defaultInitType                = PETSC_DEVICE_INIT_LAZY;  in PetscDeviceInitializeFromOptions_Internal()
665     const auto deviceType = PetscDeviceTypeCast(i);  in PetscDeviceInitializeFromOptions_Internal()
666     auto       initType   = defaultInitType;  in PetscDeviceInitializeFromOptions_Internal()
694     auto dtype = std::make_pair(PETSC_DEVICE_DEFAULT(), PETSC_FALSE);  in PetscDeviceInitializeFromOptions_Internal()
695     auto stype = std::make_pair(PETSC_DEVICE_CONTEXT_DEFAULT_STREAM_TYPE, PETSC_FALSE);  in PetscDeviceInitializeFromOptions_Internal()