tag	line	file	source code
_syscall1	50	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
_syscall1	54	init/main.c	static inline _syscall1(int,dup,int,fd)
_syscall1	57	init/main.c	static inline _syscall1(int,close,int,fd)
_syscall1	58	init/main.c	static inline _syscall1(int,_exit,int,exitcode)
_syscall1	10	lib/close.c	_syscall1(int,close,int,fd)
_syscall1	10	lib/dup.c	_syscall1(int,dup,int,fd)