Searched refs:arch_hw_string (Results 1 – 3 of 3) sorted by relevance
108 char arch_hw_string[128]; variable136 sprintf(arch_hw_string, "HW: %s (%s)", mstr, hvstr); in setup_arch_string()
135 ptr = nmi_puts(message, arch_hw_string); in nmi_print_info()
44 extern char arch_hw_string[128];