#include <papiuser.h>

extern int papi_get_perf_data(void *papiHandle,
                              int typeFlag, 
                              void *filter,
                              int *acceptableCachedTime,
                              char *kernelName, 		
                              void **perfDataHandle);