Changes

This is the interrupt event object associated with SGIs #29 and #30 (timer and watchdog timer interrupts). It is also what allows GetSystemTick, SleepThread, [[KTimers]], etc. to work.

This is the interrupt event object associated with SGIs #29 and #30 (timer and watchdog timer interrupts). It is also what allows GetSystemTick, SleepThread, [[KTimers]], etc. to work.

The interrupt handler of this object updates its counter attributes and returns 0 if it was called with interuptID = 29 or 30, otherwise it does nothing and returns the object itself (does the latter ever happen?).

The interrupt handler of this object updates its counter attributes and returns 0 if it was called with interuptID = 31 (or any invalid interruptID value) (Watchdog timer underflow), otherwise it does nothing and returns the object itself (timer interrupt).

There is only one instance of this class (everything uses the timer and watchdog timer of core1).

There is only one instance of this class (everything uses the timer and watchdog timer of core1).