fix(gpu): printf

andrei-stoian-zama · andrei-stoian-zama · commit e04112aa7d63 · 2025-09-17T15:49:53.000+02:00
diff --git a/backends/tfhe-cuda-backend/cuda/src/device.cu b/backends/tfhe-cuda-backend/cuda/src/device.cu
@@ -87,6 +87,7 @@ void cuda_set_device(uint32_t gpu_index) {
   // Mempools are initialized only once in all the GPUS available
   cuda_setup_mempool(gpu_index);
 #ifdef USE_NVTOOLS
+  printf(("START PROFILE\n\n\n"));
   check_cuda_error(cudaProfilerStart());
 #endif
 }

Original file line number	Diff line number	Diff line change
`@@ -87,6 +87,7 @@ void cuda_set_device(uint32_t gpu_index) {`
`87`	`87`	`// Mempools are initialized only once in all the GPUS available`
`88`	`88`	`cuda_setup_mempool(gpu_index);`
`89`	`89`	`#ifdef USE_NVTOOLS`
	`90`	`+ printf(("START PROFILE\n\n\n"));`
`90`	`91`	`check_cuda_error(cudaProfilerStart());`
`91`	`92`	`#endif`
`92`	`93`	`}`