+ /* Initialise the performance tracking library */
+#ifdef USE_PAPI
+ /* Must fix to abort gracefully */
+ if(PAPI_library_init(PAPI_VER_CURRENT) != PAPI_VER_CURRENT)
+ exit(1);
+#ifdef THREADED_RTS
+ {
+ int err;
+ if ((err = PAPI_thread_init(osThreadId)) < 0) {
+ barf("PAPI_thread_init: %d",err);
+ }
+ }
+#endif
+#endif
+