added debug print states or rtl

runtime/intrinsics/vx_intrinsics.h

@@ -1,20 +1,18 @@
-
-#ifndef VX_INTRINSICS
-
-#define VX_INTRINSICS
+#ifndef VX_INTRINSICS_H
+#define VX_INTRINSICS_H
 
 #ifdef __cplusplus
 extern "C" {
 #endif
 
 // Spawn warps
-void vx_wspawn(int numWarps, int PC_spawn);
+void vx_wspawn(int num_warps, unsigned func_ptr);
 
 // Set thread mask
-void vx_tmc(int numThreads);
+void vx_tmc(int num_threads);
 
 // Warp Barrier
-void vx_barrier(int barriedID, int numWarps);
+void vx_barrier(int barried_id, int num_warps);
 
 // Split on a predicate
 void vx_split(int predicate);