fb9e4cf463
When entering the interrupt handler of a given GPIO port, more than one pin could have pending interrupts, therefore care must be taken to service each interrupt one by one before leaving.