Searched refs:default_device_type (Results 1 – 1 of 1) sorted by relevance
332 auto default_device_type = DefaultDeviceType(); variable351 return default_device_type.type; in PETSC_DEVICE_DEFAULT()373 if (default_device_type.type != type) { in PetscDeviceSetDefaultDeviceType()375 default_device_type.type = type; in PetscDeviceSetDefaultDeviceType()376 PetscCall(default_device_type.register_finalize()); in PetscDeviceSetDefaultDeviceType()