Searched refs:KERNELFN (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dsel4bench.h20 static KERNELFN void sel4bench_private_init(void* data)
35 static KERNELFN void sel4bench_private_destroy(void* data)
50 static KERNELFN void sel4bench_private_reset_gp_counters(void* data)
63 static KERNELFN void sel4bench_private_get_cycle_count(void* data)
85 static KERNELFN void sel4bench_private_get_counter(void* data)
107 static KERNELFN void sel4bench_private_get_counters(void* data)
141 static KERNELFN void sel4bench_private_set_count_event(void* data)
H A Dprivate.h25 #define KERNELFN __attribute__((noinline, flatten)) macro
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h26 #define KERNELFN __attribute__((noinline, flatten)) macro
168 static KERNELFN void sel4bench_private_enable_user_pmc(void* arg)
196 static KERNELFN void sel4bench_private_disable_user_pmc(void* arg)
225 static KERNELFN void sel4bench_private_rdmsr(void* arg)
238 static KERNELFN void sel4bench_private_wrmsr(void* arg)

Completed in 31 milliseconds