Record acpi_gtdt

struct acpi_gtdt {
  struct acpi_sdt_hdr hdr;
  uacpi_u64 cnt_control_base;
  uacpi_u32 rsvd;
  uacpi_u32 el1_secure_gsiv;
  uacpi_u32 el1_secure_flags;
  uacpi_u32 el1_non_secure_gsiv;
  uacpi_u32 el1_non_secure_flags;
  uacpi_u32 el1_virtual_gsiv;
  uacpi_u32 el1_virtual_flags;
  uacpi_u32 el2_gsiv;
  uacpi_u32 el2_flags;
  uacpi_u64 cnt_read_base;
  uacpi_u32 platform_timer_count;
  uacpi_u32 platform_timer_offset;
  uacpi_u32 el2_virtual_gsiv;
  uacpi_u32 el2_virtual_flags;
  /* Full declaration omitted */ 
}