HomeSort by: relevance | last modified time | path
    Searched refs:PlatformTimerCount (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/external/bsd/acpica/dist/include/
actbl1.h 1737 UINT32 PlatformTimerCount;
  /src/sys/external/bsd/acpica/dist/common/
dmtbinfo1.c 1584 {ACPI_DMT_UINT32, ACPI_GTDT_OFFSET (PlatformTimerCount), "Platform Timer Count", 0},
  /src/usr.sbin/acpitools/acpidump/
acpi.c 2001 printf("\tPlatform Timer Count=%d\n", gtdt->PlatformTimerCount);
2004 for (i = 0; i < gtdt->PlatformTimerCount; i++) {

Completed in 19 milliseconds