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, argv);          if (devID < 0)         {             printf("exiting...\n");             exit(EXIT_SUCCESS);         }     }     else     {         // Otherwise pick the device with highest Gflops/s         