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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Dserv_dispatch.c53 assert(c->magic == TIMESERV_CLIENT_MAGIC);
62 assert(c->magic == TIMESERV_CLIENT_MAGIC);
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dserv_dispatch.c53 assert(c->magic == TIMESERV_CLIENT_MAGIC);
62 assert(c->magic == TIMESERV_CLIENT_MAGIC);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c48 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
68 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
88 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
H A Dtimer_dspace.c45 assert(c && c->magic == TIMESERV_CLIENT_MAGIC);
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c48 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
68 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
88 assert(c && (c->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == TIMESERV_CLIENT_MAGIC));
H A Dtimer_dspace.c45 assert(c && c->magic == TIMESERV_CLIENT_MAGIC);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c52 .clientMagic = TIMESERV_CLIENT_MAGIC,
H A Dstate.h52 #define TIMESERV_CLIENT_MAGIC 0xEE340912 macro
H A Ddevice_timer.c359 assert(c && c->magic == TIMESERV_CLIENT_MAGIC);
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c52 .clientMagic = TIMESERV_CLIENT_MAGIC,
H A Dstate.h52 #define TIMESERV_CLIENT_MAGIC 0xEE340912 macro
H A Ddevice_timer.c359 assert(c && c->magic == TIMESERV_CLIENT_MAGIC);

Completed in 45 milliseconds