dump_stack_set_arch_desc
dump_stack_set_arch_desc("%s", mdesc->name);
dump_stack_set_arch_desc("%s (DT)", name);
dump_stack_set_arch_desc(name);
dump_stack_set_arch_desc("%s", boot_cpu_data.pdc.sys_model_name);
dump_stack_set_arch_desc(ppc_hw_desc.buffer);
dump_stack_set_arch_desc("%s (DT)", name);
dump_stack_set_arch_desc("%s (%s)", mstr, hvstr);
dump_stack_set_arch_desc("%s", dmi_ids_string);
__printf(1, 2) void dump_stack_set_arch_desc(const char *fmt, ...);
static inline __printf(1, 2) void dump_stack_set_arch_desc(const char *fmt, ...)