/* STARTDEF void bones_kernel__0(int bones_thread_id, int bones_thread_count, , ); ENDDEF */ // Start of the kernel void bones_kernel__0(int bones_thread_id, int bones_thread_count, , ) { int bones_workload = DIV_CEIL(,bones_thread_count); int bones_start = bones_thread_id*bones_workload; int bones_end = BONES_MIN((bones_thread_id+1)*bones_workload,); for(int bones_global_id=bones_start; bones_global_id // Perform the main computation } }