Lines Matching defs:acpi_table_gtdt
1240 struct acpi_table_gtdt { struct
1241 struct acpi_table_header header; /* Common ACPI table header */
1242 u64 counter_block_addresss;
1243 u32 reserved;
1244 u32 secure_el1_interrupt;
1245 u32 secure_el1_flags;
1246 u32 non_secure_el1_interrupt;
1247 u32 non_secure_el1_flags;
1248 u32 virtual_timer_interrupt;
1249 u32 virtual_timer_flags;
1250 u32 non_secure_el2_interrupt;
1251 u32 non_secure_el2_flags;
1252 u64 counter_read_block_address;
1253 u32 platform_timer_count;
1254 u32 platform_timer_offset;