#include <papi.h>
-#include "Papi.h"
+#include "PosixSource.h"
#include "Rts.h"
+
#include "RtsUtils.h"
#include "Stats.h"
-#include "RtsFlags.h"
-#include "OSThreads.h"
+#include "Papi.h"
// used to protect the aggregated counters
#ifdef THREADED_RTS
static void
-papi_report_event(const char *name, ullong value)
+papi_report_event(const char *name, StgWord64 value)
{
static char temp[BIG_STRING_LEN];
- ullong_format_string(value,temp,rtsTrue/*commas*/);
+ showStgWord64(value,temp,rtsTrue/*commas*/);
statsPrintf(" %15s %15s\n", name, temp);
}