How to find out the time between two interrupts' execution?