Searched refs:FASTFN (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
H A D | private.h | 20 #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 D | sel4bench.h | 40 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-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
H A D | private.h | 21 #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 D | sel4bench.h | 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 voi [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/ |
H A D | sel4bench.h | 20 #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-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
H A D | private.h | 19 #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 D | sel4bench.h | 185 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-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | sel4bench.h | 96 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 D | private.h | 20 #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 43 milliseconds