void BSP_ClearTimerINT(void) { (void)readl(TIMER_EOI(HI_TIMER_18_REGBASE_ADDR_VIRT)); }
void BSP_ClearTimerINT(void) { (void)readl((const volatile void *)TIMER_EOI(HI_TIMER_18_REGBASE_ADDR_VIRT)); }
void BSP_ClearTimerINT(void) { (void)readl(TIMER_EOI(HI_TIMER_18_REGBASE_ADDR_VIRT)); }
void BSP_ClearTimerINT(void) { (void)readl((const volatile void *)TIMER_EOI(HI_TIMER_18_REGBASE_ADDR_VIRT)); }