iocsr_read32
*vendor = iocsr_read32(LOONGARCH_IOCSR_VENDOR) |
(u64)iocsr_read32(LOONGARCH_IOCSR_VENDOR + 4) << 32;
*cpuname = iocsr_read32(LOONGARCH_IOCSR_CPUNAME) |
(u64)iocsr_read32(LOONGARCH_IOCSR_CPUNAME + 4) << 32;
config = iocsr_read32(LOONGARCH_IOCSR_FEATURES);
action = iocsr_read32(LOONGARCH_IOCSR_IPI_STATUS);
last.value = iocsr_read32(LOONGARCH_IOCSR_SMCMBX);
iocsr_write32(iocsr_read32(LOONGARCH_IOCSR_MISC_FUNC) | IOCSR_MISC_FUNC_SOFT_INT,
msg.value = iocsr_read32(LOONGARCH_IOCSR_SMCMBX);
data = iocsr_read32(reg);
return iocsr_read32(EIOINTC_REG_ISR + (i << 2));
val = iocsr_read32(EXTIOI_VIRT_FEATURES);
val = iocsr_read32(EXTIOI_VIRT_CONFIG);