CPUCFG_CPU_RST_CTRL_REG
writel(3, cpucfg_membase + CPUCFG_CPU_RST_CTRL_REG(cpu));
writel(0, cpucfg_membase + CPUCFG_CPU_RST_CTRL_REG(cpu));
writel(3, cpucfg_membase + CPUCFG_CPU_RST_CTRL_REG(cpu));
writel(0, cpucfg_membase + CPUCFG_CPU_RST_CTRL_REG(cpu));