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

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dstate.c33 const char* dprintfServerName = "FILESERV"; variable
/seL4-refos-master/apps/file_server/src/
H A Dstate.c33 const char* dprintfServerName = "FILESERV"; variable
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddprintf.h99 extern const char* dprintfServerName;
119 dprintfServerColour, dprintfServerName, __FUNCTION__); \
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddprintf.h99 extern const char* dprintfServerName;
119 dprintfServerColour, dprintfServerName, __FUNCTION__); \
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c32 const char* dprintfServerName = "TIMESERV"; variable
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c32 const char* dprintfServerName = "TIMESERV"; variable
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c35 const char* dprintfServerName = "CONSERV"; variable
/seL4-refos-master/apps/console_server/src/
H A Dstate.c35 const char* dprintfServerName = "CONSERV"; variable
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c35 const char* dprintfServerName = "PROCSERV"; variable
/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c46 const char* dprintfServerName = "USER_TEST"; variable
/seL4-refos-master/apps/process_server/src/
H A Dstate.c35 const char* dprintfServerName = "PROCSERV"; variable
/seL4-refos-master/apps/test_user/src/
H A Dtest_user.c46 const char* dprintfServerName = "USER_TEST"; variable
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c40 const char* dprintfServerName = "SELFLOADER"; variable
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c60 const char* dprintfServerName = "OS_TEST"; variable
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c40 const char* dprintfServerName = "SELFLOADER"; variable
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c60 const char* dprintfServerName = "OS_TEST"; variable
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c43 const char* dprintfServerName __attribute__((weak)) = "????????"; variable
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c43 const char* dprintfServerName __attribute__((weak)) = "????????"; variable

Completed in 129 milliseconds