tag	line	file	source code
_syscall1	35	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
_syscall1	39	init/main.c	static inline _syscall1(int,dup,int,fd)
_syscall1	42	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)