Searched refs:timer_id (Results 1 - 10 of 10) sorted by relevance
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | timer_delete.c | 9 a_store(&td->timer_id, td->timer_id | INT_MIN); 10 __wake(&td->timer_id, 1, 1);
|
H A D | timer_getoverrun.c | 9 t = (void *)(uintptr_t)(td->timer_id & INT_MAX);
|
H A D | timer_gettime.c | 9 t = (void *)(uintptr_t)(td->timer_id & INT_MAX);
|
H A D | timer_settime.c | 9 t = (void *)(uintptr_t)(td->timer_id & INT_MAX);
|
H A D | timer_create.c | 72 if ((id = self->timer_id) >= 0) { 75 __wait(&self->timer_id, 0, id, 1); 130 td->timer_id = timerid;
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_hotplug_detection.c | 19 static uint32_t timer_id = 0; variable 96 timer_id = pico_timer_add(PICO_HOTPLUG_INTERVAL, &timer_cb, NULL); 97 if (timer_id == 0) { 104 if (timer_id == 0) 106 timer_id = pico_timer_add(PICO_HOTPLUG_INTERVAL, &timer_cb, NULL); 107 if (timer_id == 0) { 118 if (timer_id != 0) 120 pico_timer_cancel(timer_id); 121 timer_id = 0;
|
H A D | pico_dhcp_client.c | 74 uint32_t timer_id; member in struct:dhcp_client_timer 216 t->timer_id = pico_timer_add(time, pico_dhcp_client_timer_handler, t); 217 if (!t->timer_id) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | rtc.h | 51 int timer_id; member in struct:__anon713
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
H A D | timer.h | 64 enum timer_id { enum
|
/seL4-camkes-master/projects/musllibc/src/internal/ |
H A D | pthread_impl.h | 40 volatile int timer_id; member in struct:pthread
|
Completed in 118 milliseconds