I am attempting to measure the period between two events on different GPIO pins. I am assuming that to do this I use GPIO interrupts and GPT timer and concern on resolution down to 10 ns detection. Note that I am doing this in the user space? Is this correct path or is there a better method? What overhead will the software bring?