LOONGARCH_CPUCFG0
c->processor_id = read_cpucfg(LOONGARCH_CPUCFG0);
printk(" PRID: %08x (%s, %s)\n", read_cpucfg(LOONGARCH_CPUCFG0),
case LOONGARCH_CPUCFG0: