iocsr_read64
*vendor = iocsr_read64(LOONGARCH_IOCSR_VENDOR);
*cpuname = iocsr_read64(LOONGARCH_IOCSR_CPUNAME);
addr = iocsr_read64(LOONGARCH_IOCSR_MBUF0);
addr = iocsr_read64(LOONGARCH_IOCSR_MBUF0);
value = iocsr_read64(LOONGARCH_IOCSR_MISC_FUNC);
return iocsr_read64(EIOINTC_REG_ISR + (i << 3));
misc = iocsr_read64(LOONGARCH_IOCSR_MISC_FUNC);