void PORTD_IRQHandler(void)
void PORTE_IRQHandler(void)
void ksdk_gpio_handle_interrupt(GPIO_Type *base, port_number_t portNumber)
void PORTC_IRQHandler(void)
void PORTB_IRQHandler(void)
enum port_number port_number_t
GPIO PORT NAMES.
void PORTA_IRQHandler(void)