CPU_RESET_OFFSET
if (CPU_RESET_OFFSET(cpu) >= cpu_reset_size)
reg = readl(cpu_reset_base + CPU_RESET_OFFSET(cpu));
writel(reg, cpu_reset_base + CPU_RESET_OFFSET(cpu));