Searched refs:dump_machine_table (Results 1 – 3 of 3) sorted by relevance
24 extern void dump_machine_table(void);
225 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()