Searched refs:PlatformTimerCount (Results 1 – 4 of 4) sorted by relevance
87 JUNO_WATCHDOG_COUNT, // UINT32 PlatformTimerCount
1263 UINT32 PlatformTimerCount; member
1278 UINT32 PlatformTimerCount; member