Personally I would use a timer capture channel for input, that way you get automatic timestamp capture and you don't depend on gpio isr handlers firing on time

Personally I would use a timer capture channel for input, that way you get automatic timestamp capture and you don't depend on gpio isr handlers firing on time in case there's some other concurrent interrupt.