Home
last modified time | relevance | path

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

/freebsd-14.2/sys/contrib/edk2/Include/IndustryStandard/
H A DAcpi51.h1258 UINT32 PlatformTimerCount; member
H A DAcpi60.h1273 UINT32 PlatformTimerCount; member
/freebsd-14.2/sys/contrib/dev/acpica/include/
H A Dactbl1.h1613 UINT32 PlatformTimerCount; member
/freebsd-14.2/sys/contrib/dev/acpica/common/
H A Ddmtbinfo1.c1131 {ACPI_DMT_UINT32, ACPI_GTDT_OFFSET (PlatformTimerCount), "Platform Timer Count", 0},