 }
 
 
+
+
 __global__ void kernel_function( int i, int* j ) {
     *j = EXPECTED_KERNEL_RESULT;
 }
 
-char const* get_kernel_function() {
-    return ((char const*) kernel_function);
-}
-
-
-
 
 bool setup_cuda()
 {
-    int deviceCount = 0;
-    cudaGetDeviceCount(&deviceCount); 
-    if (deviceCount == 0) { 
+    int device_count = 0;
+    cudaGetDeviceCount( &device_count ); 
+    if ( device_count == 0) { 
         printf( "There is no device.\n" );
         return false;
     } 
     
     int dev = 0;
-    for (dev = 0; dev < deviceCount; ++dev) {
-        cudaDeviceProp deviceProp;
-        cudaGetDeviceProperties(&deviceProp, dev);
-        if (deviceProp.major >= 1) {
+    for (dev = 0; dev < device_count; ++dev) {
+        cudaDeviceProp device_prop;
+        cudaGetDeviceProperties(&device_prop, dev);
+        if (device_prop.major >= 1) {
             break;
         }
     }
     
-    if (dev == deviceCount) {
+    if (dev == device_count) {
         printf( "There is no device supporting CUDA.\n" );
         return false;
     }
     
     
-    cudaSetDevice(dev);
+    cudaSetDevice( dev );
     
     return true;
-} // bool setup_cuda()
+} /* bool setup_cuda() */
 
 
 

 * This is checked by copying the memory from the device to the host after the kernel call.
 *
 * However on our 64bit Open SuSE Linux 10.2 we always get an "unspecified launch failure".
 */

#include <stdlib.h>

 * @param j Pointer to device memory which can at least hold one @c int value.
 */
__global__ void kernel_function ( int i, int* j);


/**
