LS3_IPI_BASE
ls3_ipi_base[unit++] = LS3_IPI_BASE(0, boot_cpu);
ls3_ipi_base[unit++] = LS3_IPI_BASE(LS3_NODEID(cpu),
REGVAL32(LS3_IPI_BASE(node, core) + LS3_IPI_IMR) = 0u;