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