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