Hi, Mike,
As you said that we do not define the rising/falling time specs for GPIO pins in data sheet exactly, we only define the minimum time for the GPIO pin interrupt pulse width in section 5.3.2 General switching specifications in data sheet of K10 although the GPIO pins support edge triggering interrupt and DMA.
BR
XiangJun Rong