Madt.AcpiGiccAddrs: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/madt.bend as Madt
Lines 36-38 of bend-osdev-acpi@0.1.1.0/madt.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&start_line=36&end_line=38

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

# the GICC's addresses, grouped (bendlang/bend#1069: records of many W64s)
type AcpiGiccAddrs is Data:
  AcpiGiccAddrs{parked: W.W64, base: W.W64, gicv: W.W64, gich: W.W64, gicr: W.W64}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64