OWL_CPU1_ADDR
timer_base_addr + OWL_CPU1_ADDR + (cpu - 1) * 4);
writel(0, timer_base_addr + OWL_CPU1_ADDR + (cpu - 1) * 4);