Searched refs:dump_machine_table (Results 1 – 3 of 3) sorted by relevance
26 extern void dump_machine_table(void);
253 dump_machine_table(); /* does not return */ in setup_machine_fdt()
729 void __init dump_machine_table(void) in dump_machine_table() function1079 dump_machine_table(); in setup_arch()
