taglinefilesource code
amiga_get_model87arch/m68k/kernel/setup.cextern void amiga_get_model(char *model);
amiga_get_model258arch/m68k/kernel/setup.camiga_get_model(model);