display_system_type   61 arch/m68k/sun3/idprom.c static void __init display_system_type(unsigned char machtype)
display_system_type   40 arch/sparc/kernel/idprom.c static void __init display_system_type(unsigned char machtype)
display_system_type   61 arch/sparc/kernel/idprom.c static void __init display_system_type(unsigned char machtype)