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