Searched refs:defaultDeviceIdSet (Results 1 – 1 of 1) sorted by relevance
| /petsc/src/sys/objects/device/interface/ |
| H A D | device.cxx | 534 …ceInitType *defaultInitType, PetscInt *defaultDeviceId, PetscBool *defaultDeviceIdSet, PetscBool *… in PetscDeviceInitializeQueryOptions_Private() argument
550 …viceTypes, PETSC_DEVICE_MAX, PetscDeviceTypes[initDeviceIdx], &initDeviceIdx, defaultDeviceIdSet)); in PetscDeviceInitializeQueryOptions_Private()
633 auto defaultDeviceIdSet = PETSC_FALSE; in PetscDeviceInitializeFromOptions_Internal() local
656 …mm, &deviceContextInitDevice, &defaultInitType, &defaultDeviceId, &defaultDeviceIdSet, &defaultVie… in PetscDeviceInitializeFromOptions_Internal()
673 if (!defaultDeviceIdSet) { in PetscDeviceInitializeFromOptions_Internal()
678 …if (deviceType != PETSC_DEVICE_HOST) PetscCheck(!defaultDeviceIdSet || (deviceType != deviceContex… in PetscDeviceInitializeFromOptions_Internal()
|