DeviceDRV(int argc, const char **argv) {     CUdevice cuDevice;     int devID = 0;      // If the command-line has a device number specified, use it     if (checkCmdLineFlag(argc, (const char **)argv, "device"))     {         devID = gpuDeviceInitDRV(argc, 