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