[NFC] Change the name of the default device provided by the new registration framework (#2186)

The code base uses a mix of 'device' and 'deviceID'. I suggest we
standardise on 'device' which is shorter and slightly more prevalent.

Contributes to #2181

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
This commit is contained in:
Kévin Petit
2024-12-12 21:24:04 +00:00
committed by GitHub
parent 56d383b2e9
commit 5b7af4b36d
42 changed files with 174 additions and 162 deletions

View File

@@ -103,7 +103,7 @@ int test_selection_merge(cl_device_id deviceID,
out[i] = res; \
} \
\
return test_selection_merge(deviceID, context, queue, \
return test_selection_merge(device, context, queue, \
"loop_merge_branch_" #control, in, out, \
rep); \
}