taglinefilesource code
have_no_fdc3824drivers/block/floppy.cint have_no_fdc=0;
have_no_fdc3908drivers/block/floppy.chave_no_fdc = 0;
have_no_fdc3921drivers/block/floppy.cif(have_no_fdc)
have_no_fdc3923drivers/block/floppy.creturn have_no_fdc;