tag	line	file	source code
_syscall3	45	init/main.c	static inline _syscall3(int,write,int,fd,const char *,buf,off_t,count)
_syscall3	47	init/main.c	static inline _syscall3(int,execve,const char *,file,char **,argv,char **,envp)
_syscall3	48	init/main.c	static inline _syscall3(int,open,const char *,file,int,flag,int,mode)
_syscall3	50	init/main.c	static inline _syscall3(pid_t,waitpid,pid_t,pid,int *,wait_stat,int,options)
_syscall3	10	lib/execve.c	_syscall3(int,execve,const char *,file,char **,argv,char **,envp)
_syscall3	11	lib/write.c	_syscall3(int,write,int,fd,const char *,buf,off_t,count)