Lines Matching defs:acpi_table_gtdt
1091 struct acpi_table_gtdt { struct
1092 struct acpi_table_header header; /* Common ACPI table header */
1093 u64 counter_block_addresss;
1094 u32 reserved;
1095 u32 secure_el1_interrupt;
1096 u32 secure_el1_flags;
1097 u32 non_secure_el1_interrupt;
1098 u32 non_secure_el1_flags;
1099 u32 virtual_timer_interrupt;
1100 u32 virtual_timer_flags;
1101 u32 non_secure_el2_interrupt;
1102 u32 non_secure_el2_flags;
1103 u64 counter_read_block_address;
1104 u32 platform_timer_count;
1105 u32 platform_timer_offset;