get_topology_cpu_type_name
const char *get_topology_cpu_type_name(struct cpuinfo_x86 *c);
seq_printf(m, "cpu_type: %s\n", get_topology_cpu_type_name(c));