id_to_core_name
const char *core_name = id_to_core_name(c->processor_id);
seq_printf(m, "PRID\t\t\t: %s (%08x)\n", id_to_core_name(prid), prid);