Searched refs:dump_machine_table (Results 1 – 7 of 7) sorted by relevance
8 extern void __init dump_machine_table(void);
26 extern void dump_machine_table(void);
67 dump_machine_table(); /* does not return */ in setup_machine_fdt()
189 void __init dump_machine_table(void) in dump_machine_table() function
243 dump_machine_table(); /* does not return */ in setup_machine_fdt()
203 dump_machine_table(); /* does not return */ in setup_machine_tags()
660 void __init dump_machine_table(void) in dump_machine_table() function