Searched refs:CACHESENSFN (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dprivate.h22 #define CACHESENSFN __attribute__((noinline, aligned(32))) macro
70 static CACHESENSFN void sel4bench_private_set_pmnc(sel4bench_arm1136_pmnc_t val)
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dprivate.h22 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro
H A Dsel4bench.h128 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values)
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dprivate.h23 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro
H A Dsel4bench.h120 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values)
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h23 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro
H A Dsel4bench.h165 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t* values)

Completed in 87 milliseconds