tag	line	file	source code
_syscall1	44	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
_syscall1	48	init/main.c	static inline _syscall1(int,dup,int,fd)
_syscall1	51	init/main.c	static inline _syscall1(int,close,int,fd)
_syscall1	10	lib/close.c	_syscall1(int,close,int,fd)
_syscall1	10	lib/dup.c	_syscall1(int,dup,int,fd)