/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 83 uint16_t event; member in struct:__anon432::__anon433 252 //generic event tables for lookup fn below 253 //they use direct event numbers, rather than the constants in events.h, because it's smaller 311 static FASTFN seL4_Word sel4bench_private_lookup_event(event_id_t event) argument 313 if ((SEL4BENCH_EVENT_GENERIC_MASK & event) == SEL4BENCH_EVENT_GENERIC_MASK) { 322 event = event & ~SEL4BENCH_EVENT_GENERIC_MASK; 330 return SEL4BENCH_IA32_P6_EVENTS[event]; 336 return SEL4BENCH_IA32_CORE_EVENTS[event]; 343 return SEL4BENCH_IA32_CORE2_EVENTS[event]; [all...] |
H A D | sel4bench.h | 43 * Using LFENCE for the moment, because it's much faster. If event counts 181 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument 194 evtsel_msr.raw = sel4bench_private_lookup_event(event);
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/ |
H A D | sel4bench.h | 111 /* Sifive U540 only supports two event counters */ 143 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument 145 /* Sifive U540 only supports two event counters */ 157 :: "r"(event)); 166 :: "r"(event)); 175 /* Writing the to event CSR would automatically start the counter */ 181 /* Note that the counter is stopped by clearing the event CSR. 182 * Set event CSR before starting the counter again 186 /* Sifive U540 only supports two event counters */
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
H A D | sel4bench.h | 145 uint32_t event = ((uint32_t)data) & ~(1U << 31); local 163 pmnc_contents_restore.EvtCount2 = event; 167 pmnc_contents_restore.EvtCount1 = event; 228 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) 232 seL4_DebugRun(&sel4bench_private_set_count_event, (void*)(event | ((counter & 1U) << 31)));
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
H A D | sel4bench.h | 153 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument 157 return sel4bench_private_write_evtsel(event); //change the event
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
H A D | sel4bench.h | 145 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument 149 return sel4bench_private_write_evtsel(event); //change the event
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.c | 61 static void send_ipi(uintptr_t recipient, int event) argument 64 atomic_or(&OTHER_HLS(recipient)->mipi_pending, event); 102 static void send_ipi_many(uintptr_t* pmask, int event) argument 112 send_ipi(i, event); 114 if (event == IPI_SOFT)
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 102 ltimer_event_t event; local 105 event = LTIMER_OVERFLOW_EVENT; 108 event = LTIMER_TIMEOUT_EVENT; 114 timers->user_callback(timers->user_callback_token, event);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 113 ltimer_event_t event = LTIMER_TIMEOUT_EVENT; local 115 spt_ltimer->user_callback(spt_ltimer->user_callback_token, event);
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | ltimer.h | 38 * The callbacks are invoked when an event occurs. These events are described 46 typedef void (*ltimer_callback_fn_t)(void *token, ltimer_event_t event); 322 * The callback functions will be invoked every single time an event described
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 84 uint32_t event; member in struct:ist_info
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 136 /* Enable event timer, stop timer, sets phrase */ 139 uint32_t event[3]; /* +0x78 */ member in struct:ttc_tmr_regs
|