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