Philip Gladstone 9aebc84b72 Add support of counting of interrupts (#2149)
* Add support of counting of interrupts

* Update the timestamp when interrupt happens during dispatch. Also
clear out interrupts when setting up a new callback
2017-12-17 21:42:54 +01:00
..
2016-12-25 10:45:34 +11:00
2016-12-11 21:03:00 +01:00
2016-06-05 23:21:36 +02:00
2017-07-03 13:35:45 +10:00
2016-01-20 19:40:47 +11:00
2017-12-03 13:14:22 +01:00
2017-05-11 07:13:23 +02:00
2016-09-20 23:59:23 +02:00
2017-07-03 13:35:45 +10:00