tag	line	file	source code
setup	25	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
setup	198	init/main.c	setup((void *) &drive_info);