Lines Matching defs:DeviceId

683   GenericDeviceTy(GenericPluginTy &Plugin, int32_t DeviceId, int32_t NumDevices,
688 int32_t getDeviceId() const { return DeviceId; }
1051 const int32_t DeviceId;
1123 GenericDeviceTy &getDevice(int32_t DeviceId) {
1124 assert(isValidDeviceId(DeviceId) && "Invalid device id");
1125 assert(Devices[DeviceId] && "Device is unitialized");
1127 return *Devices[DeviceId];
1134 int32_t getUserId(int32_t DeviceId) const {
1135 assert(UserDeviceIds.contains(DeviceId) && "No user-id registered");
1136 return UserDeviceIds.at(DeviceId);
1176 Error initDevice(int32_t DeviceId);
1179 Error deinitDevice(int32_t DeviceId);
1204 bool isValidDeviceId(int32_t DeviceId) const {
1205 return (DeviceId >= 0 && DeviceId < getNumDevices());
1219 int32_t is_device_compatible(int32_t DeviceId, __tgt_device_image *Image);
1222 int32_t is_device_initialized(int32_t DeviceId) const;
1225 int32_t init_device(int32_t DeviceId);
1234 int32_t initialize_record_replay(int32_t DeviceId, int64_t MemorySize,
1239 int32_t load_binary(int32_t DeviceId, __tgt_device_image *TgtImage,
1243 void *data_alloc(int32_t DeviceId, int64_t Size, void *HostPtr, int32_t Kind);
1246 int32_t data_delete(int32_t DeviceId, void *TgtPtr, int32_t Kind);
1249 int32_t data_lock(int32_t DeviceId, void *Ptr, int64_t Size,
1253 int32_t data_unlock(int32_t DeviceId, void *Ptr);
1256 int32_t data_notify_mapped(int32_t DeviceId, void *HstPtr, int64_t Size);
1259 int32_t data_notify_unmapped(int32_t DeviceId, void *HstPtr);
1262 int32_t data_submit(int32_t DeviceId, void *TgtPtr, void *HstPtr,
1266 int32_t data_submit_async(int32_t DeviceId, void *TgtPtr, void *HstPtr,
1270 int32_t data_retrieve(int32_t DeviceId, void *HstPtr, void *TgtPtr,
1274 int32_t data_retrieve_async(int32_t DeviceId, void *HstPtr, void *TgtPtr,
1287 int32_t launch_kernel(int32_t DeviceId, void *TgtEntryPtr, void **TgtArgs,
1292 int32_t synchronize(int32_t DeviceId, __tgt_async_info *AsyncInfoPtr);
1295 int32_t query_async(int32_t DeviceId, __tgt_async_info *AsyncInfoPtr);
1298 void print_device_info(int32_t DeviceId);
1301 int32_t create_event(int32_t DeviceId, void **EventPtr);
1304 int32_t record_event(int32_t DeviceId, void *EventPtr,
1308 int32_t wait_event(int32_t DeviceId, void *EventPtr,
1312 int32_t sync_event(int32_t DeviceId, void *EventPtr);
1315 int32_t destroy_event(int32_t DeviceId, void *EventPtr);
1321 int32_t init_async_info(int32_t DeviceId, __tgt_async_info **AsyncInfoPtr);
1324 int32_t init_device_info(int32_t DeviceId, __tgt_device_info *DeviceInfo,
1328 int32_t set_device_identifier(int32_t UserId, int32_t DeviceId);
1331 int32_t use_auto_zero_copy(int32_t DeviceId);