Searched refs:FASTFN (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dprivate.h20 #define FASTFN inline __attribute__((always_inline)) macro
30 static FASTFN void sel4bench_private_switch_user_pmc(unsigned long state)
44 static FASTFN void sel4bench_private_write_intens(uint32_t mask)
52 static FASTFN void sel4bench_private_write_intenc(uint32_t mask)
94 static FASTFN void sel4bench_private_write_pmcr(uint32_t val)
102 static FASTFN uint32_t sel4bench_private_read_pmcr(void)
118 static FASTFN void sel4bench_private_write_cntens(uint32_t mask)
126 static FASTFN uint32_t sel4bench_private_read_cntens()
136 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask)
150 static FASTFN uint32_
[all...]
H A Dsel4bench.h40 static FASTFN void sel4bench_init()
68 static FASTFN void sel4bench_destroy()
82 static FASTFN seL4_Word sel4bench_get_num_counters()
91 static FASTFN ccnt_t sel4bench_get_cycle_count()
103 /* being declared FASTFN allows this function (once inlined) to cache miss; I
107 static FASTFN ccnt_t sel4bench_get_counter(counter_t counter)
153 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event)
160 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask)
168 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask)
177 static FASTFN voi
[all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dprivate.h21 #define FASTFN inline __attribute__((always_inline)) macro
31 static FASTFN void sel4bench_private_switch_user_pmc(unsigned long state)
43 static FASTFN void sel4bench_private_write_intens(uint32_t mask)
56 static FASTFN void sel4bench_private_write_intenc(uint32_t mask)
95 static FASTFN void sel4bench_private_write_pmcr(uint32_t val)
99 static FASTFN uint32_t sel4bench_private_read_pmcr(void)
113 static FASTFN void sel4bench_private_write_cntens(uint32_t mask)
118 static FASTFN uint32_t sel4bench_private_read_cntens(void)
129 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask)
138 static FASTFN uint32_
[all...]
H A Dsel4bench.h36 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 voi
[all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/
H A Dsel4bench.h20 #define FASTFN inline __attribute__((always_inline)) macro
75 static FASTFN void sel4bench_init()
80 static FASTFN void sel4bench_destroy()
85 static FASTFN seL4_Word sel4bench_get_num_counters()
94 static FASTFN ccnt_t sel4bench_get_cycle_count()
103 /* Being declared FASTFN allows this function (once inlined) to cache miss; I
107 static FASTFN ccnt_t sel4bench_get_counter(counter_t counter)
143 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event)
176 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask)
184 static FASTFN voi
[all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dprivate.h19 #define FASTFN inline __attribute__((always_inline)) macro
87 static FASTFN sel4bench_arm1136_pmnc_t sel4bench_private_get_pmnc(void)
101 static FASTFN uint32_t sel4bench_private_get_ccnt()
114 static FASTFN uint32_t sel4bench_private_get_pmn0()
123 static FASTFN void sel4bench_private_set_pmn0(uint32_t val)
134 static FASTFN uint32_t sel4bench_private_get_pmn1()
143 static FASTFN void sel4bench_private_set_pmn1(uint32_t val)
H A Dsel4bench.h185 static FASTFN void sel4bench_init()
190 static FASTFN void sel4bench_destroy()
195 static FASTFN seL4_Word sel4bench_get_num_counters()
200 static FASTFN ccnt_t sel4bench_get_cycle_count()
207 static FASTFN ccnt_t sel4bench_get_counter(counter_t counter)
216 static FASTFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t* values)
228 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event)
235 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask)
242 static FASTFN void sel4bench_reset_counters(void)
247 static FASTFN voi
[all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h96 static FASTFN void sel4bench_init()
124 static FASTFN ccnt_t sel4bench_get_cycle_count()
133 static FASTFN seL4_Word sel4bench_get_num_counters()
156 static FASTFN ccnt_t sel4bench_get_counter(counter_t counter)
181 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event)
201 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask)
254 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask)
299 static FASTFN void sel4bench_destroy()
310 static FASTFN void sel4bench_reset_counters(void)
H A Dprivate.h20 #define FASTFN inline __attribute__((always_inline)) macro
104 static FASTFN void sel4bench_private_cpuid(uint32_t leaf, uint32_t subleaf, uint32_t * eax, uint32_t * ebx, uint32_t * ecx, uint32_t * edx)
116 static FASTFN void sel4bench_private_cpuid_serial()
131 static FASTFN void sel4bench_private_lfence()
136 static FASTFN uint64_t sel4bench_private_rdtsc()
146 static FASTFN uint64_t sel4bench_private_rdpmc(uint32_t counter)
311 static FASTFN seL4_Word sel4bench_private_lookup_event(event_id_t event)

Completed in 37 milliseconds