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