Home
last modified time | relevance | path

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

/freebsd-10-stable/sys/contrib/dev/acpica/include/
Dactbl3.h333 UINT32 PlatformTimerCount; member
/freebsd-10-stable/sys/contrib/dev/acpica/common/
Ddmtbinfo.c1160 {ACPI_DMT_UINT32, ACPI_GTDT_OFFSET (PlatformTimerCount), "Platform Timer Count", 0},