 			}
 		}
 		result_available = false;
+		cuPrintf("getValue lock_thread_id: %d result_available: %s\n",
+				lock_thread_id, (result_available) ? "true" : "false");
 
 		return result_int;
 	}


	void processCommand() volatile {

		printf("KernelWrapper processCommand: %d\n", command);

		switch (command) {



	// init host_kernelWrapper
	h_kernelWrapper->init();
	h_kernelWrapper->start_monitoring();

	// wait for kernelWrapper monitoring
	while (!h_kernelWrapper->is_monitoring) {
