#include <GPTimer.h>
Collaboration diagram for SyncTimer:
Public Member Functions | |
| void | initialise (uintptr_t base) |
| uint32_t | getTickCount () |
Private Attributes | |
| MemoryRegion | m_MmioBase |
Detailed Description
Driver for the 32 kHz "Sync Timer" on the system, which provides a nice tick count mechanism similar to what we use for log timestamps on x86, except in hardware.
The documentation for this class was generated from the following files:
