Searched refs:print_machine_type (Results 1 – 1 of 1) sorted by relevance
35 static void print_machine_type(void) in print_machine_type() function99 print_machine_type(); in facility_mismatch()