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 returns 0 if it was called with interuptID = 29 or 30, otherwise 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 = 29 or 30, otherwise it does nothing and returns the object itself (does the latter ever happen?).

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).