portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Print current CPU in debug messages

Browse source
This commit is contained in:
Adrian Danis 2016-11-18 14:43:22 +11:00
parent 008f9ae24b
commit 28d21e68a2
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
include/api/types.h
View file

@ -136,8 +136,9 @@ prioPropsFromWord(word_t w)
*/
#define userError(...) \
do { \
printf(ANSI_DARK "<<" ANSI_GREEN "seL4" ANSI_DARK \
printf(ANSI_DARK "<<" ANSI_GREEN "seL4(CPU %lu)" ANSI_DARK \
" [%s/%d T%p \"%s\" @%lx]: ", \
SMP_TERNARY(getCurrentCPUIndex(), 0), \
__func__, __LINE__, NODE_STATE(ksCurThread), \
THREAD_NAME, \
(word_t)getRestartPC(NODE_STATE(ksCurThread))); \