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