Searched defs:event (Results 1 - 11 of 11) sorted by relevance

/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
/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
/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
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h181 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
H A Dprivate.h83 uint16_t event; member in struct:__anon432::__anon433
311 static FASTFN seL4_Word sel4bench_private_lookup_event(event_id_t event) argument
[all...]
/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.c61 static void send_ipi(uintptr_t recipient, int event) argument
102 static void send_ipi_many(uintptr_t* pmask, int event) argument
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/
H A Dsel4bench.h143 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c113 ltimer_event_t event = LTIMER_TIMEOUT_EVENT; local
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dltimer.c102 ltimer_event_t event; local
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c139 uint32_t event[3]; /* +0x78 */ member in struct:ttc_tmr_regs
/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

Completed in 99 milliseconds