Home
last modified time | relevance | path

Searched refs:PlatformTimerCount (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/contrib/edk2/Include/IndustryStandard/
H A DAcpi51.h1268 UINT32 PlatformTimerCount; member
H A DAcpi60.h1283 UINT32 PlatformTimerCount; member
/freebsd/sys/contrib/dev/acpica/include/
H A Dactbl1.h1737 UINT32 PlatformTimerCount; member
/freebsd/sys/contrib/dev/acpica/common/
H A Ddmtbinfo1.c1584 {ACPI_DMT_UINT32, ACPI_GTDT_OFFSET (PlatformTimerCount), "Platform Timer Count", 0},