dump_machine_table   23 arch/arm/include/asm/setup.h extern void dump_machine_table(void);
dump_machine_table  246 arch/arm/kernel/devtree.c 		dump_machine_table(); /* does not return */
dump_machine_table 1091 arch/arm/kernel/setup.c 		dump_machine_table();