Question: Is there a register to check the external GPIO interrupts, which could be a pulse?
Answer: There is no internal register that latches the GPIO interrupts. When you get a GPIO interrupt, you need to check the status of the pin in the ISR, performing a mask if necessary to determine which pin set the interrupt. If the pulse disappears before the port can be read, then you will miss which pin set the interrupt.
