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