taglinefilesource code
setup50init/main.cstatic inline _syscall1(int,setup,void *,BIOS)
setup484init/main.csetup((void *) &drive_info);