/* Clear the pending state of a given event  */
void stm32_exti_clear_pending(unsigned int line)
/* Clear the pending state of a given event  */
void stm32_exti_clear_pending(unsigned int line)
{
	if (line < STM32F2_EXTI_NUM_LINES)
		KINETIS_EXTI->pr = (1 << line);
}