LOONGARCH_IOCSR_CPUNAME
*cpuname = iocsr_read64(LOONGARCH_IOCSR_CPUNAME);
*cpuname = iocsr_read32(LOONGARCH_IOCSR_CPUNAME) |
(u64)iocsr_read32(LOONGARCH_IOCSR_CPUNAME + 4) << 32;