Lines Matching refs:FASTFN
36 static FASTFN void sel4bench_init()
64 static FASTFN void sel4bench_destroy()
78 static FASTFN seL4_Word sel4bench_get_num_counters()
83 static FASTFN ccnt_t sel4bench_get_cycle_count()
95 /* being declared FASTFN allows this function (once inlined) to cache miss; I
99 static FASTFN ccnt_t sel4bench_get_counter(counter_t counter)
145 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event)
152 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask)
160 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask)
169 static FASTFN void sel4bench_reset_counters(void)