/* If a local timer interrupt has occurred, acknowledge and return 1. Otherwise, return 0.  */
int twd_timer_ack(void)
/* If a local timer interrupt has occurred, acknowledge and return 1. Otherwise, return 0.  */
int twd_timer_ack(void)
{
	if (__raw_readl(twd_base + TWD_TIMER_INTSTAT)) {
		__raw_writel(1, twd_base + TWD_TIMER_INTSTAT);
		return 1;
	}
	return 0;
}