Searched refs:event (Results 1 - 12 of 12) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h83 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 Dsel4bench.h43 * 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 Dsel4bench.h111 /* 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 Dsel4bench.h145 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 Dsel4bench.h153 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 Dsel4bench.h145 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 Dmtrap.c61 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 Dltimer.c102 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 Dltimer.c113 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 Dltimer.h38 * 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 Dguest_boot_info.h84 uint32_t event; member in struct:ist_info
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c136 /* Enable event timer, stop timer, sets phrase */
139 uint32_t event[3]; /* +0x78 */ member in struct:ttc_tmr_regs

Completed in 116 milliseconds