Type Definition microbench::types::DeviceId
source · [−]pub type DeviceId = DeviceType<u16, u32>;Expand description
The device type and it’s ID
Used to specify where a task should be run. For example, CPU ID for numactl or GPU ID for CUDA