e_syscallnames     98 kern/kern_xxx.c 		printf("%d call: %s", code, em->e_syscallnames[code]);
e_syscallnames     93 sys/proc.h     	char	**e_syscallnames;	/* System call name array */