Searched refs:TIMESERV_DISPATCH_ANON_CLIENT_MAGIC (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Ddispatch.h21 #define TIMESERV_DISPATCH_ANON_CLIENT_MAGIC 0xC099F13E macro
H A Ddispatch.c44 c->magic = TIMESERV_DISPATCH_ANON_CLIENT_MAGIC;
H A Dserv_dispatch.c34 assert(anonc->magic == TIMESERV_DISPATCH_ANON_CLIENT_MAGIC);
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Ddispatch.h21 #define TIMESERV_DISPATCH_ANON_CLIENT_MAGIC 0xC099F13E macro
H A Ddispatch.c44 c->magic = TIMESERV_DISPATCH_ANON_CLIENT_MAGIC;
H A Dserv_dispatch.c34 assert(anonc->magic == TIMESERV_DISPATCH_ANON_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));
/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));

Completed in 35 milliseconds