1#include <inttypes.h> 2#include <rcce/RCCE.h> 3#include <arch/x86/barrelfish_kpi/asm_inlines_arch.h> 4 5int RCCE_APP(int argc, char **argv) 6{ 7 int ME; 8 9 RCCE_init(&argc, &argv); 10 // RCCE_debug_set(RCCE_DEBUG_ALL); 11 12 ME = RCCE_ue(); 13 printf("Core %d passed RCCE_init\n", ME); 14 15 uint64_t oldtsc = rdtsc(); 16 for(;;) { 17 uint64_t tsc = rdtsc(); 18 if(tsc - oldtsc > 500000000ULL) { 19 printf("%" PRIu64 "\n", tsc); 20 } 21 } 22 23 return 0; 24} 25