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