Searched refs:dump_machine_table (Results 1 – 3 of 3) sorted by relevance
23 extern void dump_machine_table(void);
226 dump_machine_table(); /* does not return */ in setup_machine_fdt()
746 void __init dump_machine_table(void) in dump_machine_table() function1125 dump_machine_table(); in setup_arch()