/* Gets the interrupt overflow status. Overflow will occur if the interrupt has not been cleared when a second interrupt happens.  */
bool timer_int_overflow_status(uint32_t timer)
/* Gets the interrupt overflow status. Overflow will occur if the interrupt has not been cleared when a second interrupt happens.  */
bool timer_int_overflow_status(uint32_t timer)
{
	return TIMER_INTFLAG(timer) & 0x1;
}