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

debug: generate list of syscall names

Browse source
This commit is contained in:
Anna Lyons 2016-10-18 14:05:01 +11:00
parent 4f2123b763
commit 3a185a5c32
2 changed files with 13 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/api/debug.h
View file

@ -44,7 +44,7 @@ debug_printKernelEntryReason(void)
break;
#endif
case Entry_Syscall:
printf("Syscall, number: %ld\n", (long) ksKernelEntry.syscall_no);
printf("Syscall, number: %ld, %s\n", (long) ksKernelEntry.syscall_no, syscall_names[ksKernelEntry.syscall_no]);
if (ksKernelEntry.syscall_no == SysSend ||
ksKernelEntry.syscall_no == SysNBSend ||
ksKernelEntry.syscall_no == SysCall) {

12
tools/syscall_header_gen.py
View file

@ -68,6 +68,18 @@ enum syscall {
};
typedef word_t syscall_t;
/* System call names */
#ifdef CONFIG_DEBUG_BUILD
static char *syscall_names[] = {
{{py:syscall_number = 1}}
{{for condition, list in assembler}}
{{for syscall in list}}
[{{syscall_number}}] = "{{syscall}}",
{{py:syscall_number += 1}}
{{endfor}}
{{endfor}}
};
#endif /* CONFIG_DEBUG_BUILD */
#endif
#endif /* __ARCH_API_SYSCALL_H */