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