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