Searched refs:PlatformTimerCount (Results 1 – 9 of 9) sorted by relevance
184 AcpiGtdt.Gtdt.PlatformTimerCount = 0; in GtdtHeader()
73 PV660_WATCHDOG_COUNT, // UINT32 PlatformTimerCount
74 PV660_WATCHDOG_COUNT, // UINT32 PlatformTimerCount
89 JUNO_WATCHDOG_COUNT, // UINT32 PlatformTimerCount
108 FVP_PLATFORM_TIMER_COUNT, // UINT32 PlatformTimerCount
1263 UINT32 PlatformTimerCount; member
1278 UINT32 PlatformTimerCount; member