Searched refs:timer_id (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/libmuslc/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-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | rtc.h | 51 int timer_id; member in struct:__anon520
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | rtc.h | 51 int timer_id; member in struct:__anon951
|
| /seL4-refos-master/libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
| H A D | timer.h | 64 enum timer_id { enum
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
| H A D | timer.h | 64 enum timer_id { enum
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | pthread_impl.h | 40 volatile int timer_id; member in struct:pthread
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | timeout.c | 1299 static unsigned long timer_id = 1; variable
1454 gnu->tid = timer_id++;
1773 bwrite(fd, (genericptr_t) &timer_id, sizeof(timer_id));
1813 mread(fd, (genericptr_t) &timer_id, sizeof timer_id); local
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | timeout.c | 1299 static unsigned long timer_id = 1; variable
1454 gnu->tid = timer_id++;
1773 bwrite(fd, (genericptr_t) &timer_id, sizeof(timer_id));
1813 mread(fd, (genericptr_t) &timer_id, sizeof timer_id); local
|
Completed in 51 milliseconds