Lines Matching refs:data
20 static KERNELFN void sel4bench_private_init(void* data)
35 static KERNELFN void sel4bench_private_destroy(void* data)
50 static KERNELFN void sel4bench_private_reset_gp_counters(void* data)
63 static KERNELFN void sel4bench_private_get_cycle_count(void* data)
79 *(uint32_t*)data = sel4bench_private_get_ccnt();
85 static KERNELFN void sel4bench_private_get_counter(void* data)
101 *(uint32_t*)data = *(uint32_t*)data ? sel4bench_private_get_pmn1() : sel4bench_private_get_pmn0();
107 static KERNELFN void sel4bench_private_get_counters(void* data)
122 uint32_t* args = (uint32_t*)data;
141 static KERNELFN void sel4bench_private_set_count_event(void* data)
144 uint32_t counter = ((uint32_t)data) >> 31;
145 uint32_t event = ((uint32_t)data) & ~(1U << 31);