Home
last modified time | relevance | path

Searched defs:acpi_table_gtdt (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/contrib/dev/acpica/include/
H A Dactbl1.h1722 typedef struct acpi_table_gtdt struct
1724 ACPI_TABLE_HEADER Header; /* Common ACPI table header */
1725 UINT64 CounterBlockAddresss;
1726 UINT32 Reserved;
1727 UINT32 SecureEl1Interrupt;
1728 UINT32 SecureEl1Flags;
1729 UINT32 NonSecureEl1Interrupt;
1730 UINT32 NonSecureEl1Flags;
1731 UINT32 VirtualTimerInterrupt;
1732 UINT32 VirtualTimerFlags;
[all …]