8   PetscDevice        device = NULL, other_device = NULL;  in main()  local
16   PetscCall(PetscDeviceCreate(PETSC_DEVICE_DEFAULT(), PETSC_DECIDE, &device));  in main()
17   PetscCall(PetscDeviceConfigure(device));  in main()
18   PetscCall(PetscDeviceView(device, NULL));  in main()
20   PetscCall(PetscDeviceContextSetDevice(dctx, device));  in main()
22 …PetscCall(AssertPetscDevicesValidAndEqual(device, other_device, "PetscDevice after setdevice() doe…  in main()
29 …PetscCall(AssertPetscDevicesValidAndEqual(device, other_device, "PetscDevice after setdevice() doe…  in main()
38   PetscCall(PetscDeviceView(device, NULL));  in main()
42   PetscCall(PetscDeviceView(device, NULL));  in main()
49 …if (PetscDefined(DEVICELANGUAGE_CXX)) PetscCheck(device != other_device, PETSC_COMM_SELF, PETSC_ER…  in main()
52   PetscCall(PetscDeviceDestroy(&device));  in main()