Searched refs:dprintfServerColour (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dstate.c34 int dprintfServerColour = 35; variable
/seL4-refos-master/apps/file_server/src/
H A Dstate.c34 int dprintfServerColour = 35; variable
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddprintf.h100 extern int dprintfServerColour;
119 dprintfServerColour, dprintfServerName, __FUNCTION__); \
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddprintf.h100 extern int dprintfServerColour;
119 dprintfServerColour, dprintfServerName, __FUNCTION__); \
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c33 int dprintfServerColour = 34; variable
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c33 int dprintfServerColour = 34; variable
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c36 int dprintfServerColour = 33; variable
/seL4-refos-master/apps/console_server/src/
H A Dstate.c36 int dprintfServerColour = 33; variable
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c36 int dprintfServerColour = 32; variable
/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c47 int dprintfServerColour = 38; variable
/seL4-refos-master/apps/process_server/src/
H A Dstate.c36 int dprintfServerColour = 32; variable
/seL4-refos-master/apps/test_user/src/
H A Dtest_user.c47 int dprintfServerColour = 38; variable
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c41 int dprintfServerColour = 36; variable
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c61 int dprintfServerColour = 37; variable
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c41 int dprintfServerColour = 36; variable
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c61 int dprintfServerColour = 37; variable
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c44 int dprintfServerColour __attribute__((weak)) = 33; variable
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c44 int dprintfServerColour __attribute__((weak)) = 33; variable

Completed in 115 milliseconds