Searched refs:faketime (Results 1 - 16 of 16) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dconsole_server.c121 uint32_t faketime() { function
122 static uint32_t faketime = 0; local
123 return faketime++;
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dtimer_server.c112 uint32_t faketime() { function
113 static uint32_t faketime = 0; local
114 return faketime++;
/seL4-refos-master/apps/console_server/src/
H A Dconsole_server.c121 uint32_t faketime() { function
122 static uint32_t faketime = 0; local
123 return faketime++;
/seL4-refos-master/apps/timer_server/src/
H A Dtimer_server.c112 uint32_t faketime() { function
113 static uint32_t faketime = 0; local
114 return faketime++;
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddprintf.h98 extern uint32_t faketime() __attribute__((weak));
118 faketime ? faketime() : 0, \
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddprintf.h98 extern uint32_t faketime() __attribute__((weak));
118 faketime ? faketime() : 0, \
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h76 uint32_t faketime; member in struct:procserv_state
95 uint32_t faketime();
H A Dmain.c132 s->faketime++;
H A Dstate.c38 uint32_t faketime() { function
39 return procServ.faketime++;
/seL4-refos-master/apps/process_server/src/
H A Dstate.h76 uint32_t faketime; member in struct:procserv_state
95 uint32_t faketime();
H A Dmain.c132 s->faketime++;
H A Dstate.c38 uint32_t faketime() { function
39 return procServ.faketime++;
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dfile_server.c68 uint32_t faketime() { function
/seL4-refos-master/apps/file_server/src/
H A Dfile_server.c68 uint32_t faketime() { function
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c458 faketime() { function
459 static uint32_t faketime = 0; local
460 return faketime++;
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c458 faketime() { function
459 static uint32_t faketime = 0; local
460 return faketime++;

Completed in 65 milliseconds