97     const auto dci  = static_cast<PetscDeviceContext_SYCL *>(dctx->data);  in synchronize()  local
101     if (!idle) PetscCallCXX(dci->queue.wait());  in synchronize()
114     const auto dci = static_cast<PetscDeviceContext_SYCL *>(dctx->data);  in beginTimer()  local
118 …PetscCheck(!dci->timerInUse, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Forgot to call PetscLogGpuTimeEnd()…  in beginTimer()
119     dci->timerInUse = PETSC_TRUE;  in beginTimer()
136     PetscCallCXX(dci->timeBegin = std::chrono::steady_clock::now());  in beginTimer()
142     const auto                    dci = static_cast<PetscDeviceContext_SYCL *>(dctx->data);  in endTimer()  local
147 …PetscCheck(dci->timerInUse, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Forgot to call PetscLogGpuTimeBegin(…  in endTimer()
148     dci->timerInUse = PETSC_FALSE;  in endTimer()
150     PetscCallCXX(dci->queue.wait());  in endTimer()
151     PetscCallCXX(duration = std::chrono::steady_clock::now() - dci->timeBegin);  in endTimer()