Lines Matching defs:acpi_table_gtdt
1323 struct acpi_table_gtdt { struct
1324 struct acpi_table_header header; /* Common ACPI table header */
1325 u64 counter_block_addresss;
1326 u32 reserved;
1327 u32 secure_el1_interrupt;
1328 u32 secure_el1_flags;
1329 u32 non_secure_el1_interrupt;
1330 u32 non_secure_el1_flags;
1331 u32 virtual_timer_interrupt;
1332 u32 virtual_timer_flags;
1333 u32 non_secure_el2_interrupt;
1334 u32 non_secure_el2_flags;
1335 u64 counter_read_block_address;
1336 u32 platform_timer_count;
1337 u32 platform_timer_offset;