Lines Matching defs:acpi_table_gtdt
271 struct acpi_table_gtdt { struct
272 struct acpi_table_header header; /* Common ACPI table header */
273 u64 counter_block_addresss;
274 u32 reserved;
275 u32 secure_el1_interrupt;
276 u32 secure_el1_flags;
277 u32 non_secure_el1_interrupt;
278 u32 non_secure_el1_flags;
279 u32 virtual_timer_interrupt;
280 u32 virtual_timer_flags;
281 u32 non_secure_el2_interrupt;
282 u32 non_secure_el2_flags;
283 u64 counter_read_block_address;
284 u32 platform_timer_count;
285 u32 platform_timer_offset;