Searched refs:TIMESERV_DEVICE_TIMER_MAGIC (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h28 #define TIMESERV_DEVICE_TIMER_MAGIC 0x54F1A770 macro
H A Ddevice_timer.c143 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
162 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
202 s->magic = TIMESERV_DEVICE_TIMER_MAGIC;
343 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
358 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h28 #define TIMESERV_DEVICE_TIMER_MAGIC 0x54F1A770 macro
H A Ddevice_timer.c143 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
162 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
202 s->magic = TIMESERV_DEVICE_TIMER_MAGIC;
343 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);
358 assert(s && s->magic == TIMESERV_DEVICE_TIMER_MAGIC);

Completed in 31 milliseconds