Madt.AcpiMadtEntry: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/madt.bend as Madt
Lines 40-60 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=40&end_line=60

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

type AcpiMadtEntry is Data:
  # flags: bit 0 Enabled, bit 1 Online Capable
  AcpiMadtLapic{uid: U32, apic_id: U32, flags: U32}
  AcpiMadtIoApic{id: U32, address: U32, gsi_base: U32}
  # flags: MPS INTI flags, bits 0-1 polarity, bits 2-3 trigger mode
  AcpiMadtIso{bus: U32, source: U32, gsi: U32, flags: U32}
  AcpiMadtNmiSource{flags: U32, gsi: U32}
  # uid 0xFF: every processor
  AcpiMadtLapicNmi{uid: U32, flags: U32, lint: U32}
  AcpiMadtLapicOverride{address: W.W64}
  AcpiMadtX2apic{x2apic_id: U32, flags: U32, uid: U32}
  # uid 0xFFFFFFFF: every processor
  AcpiMadtX2apicNmi{flags: U32, uid: U32, lint: U32}
  AcpiMadtGicc{cpu_interface: U32, uid: U32, flags: U32, parking_version: U32, perf_gsiv: U32, vgic_gsiv: U32, addrs: AcpiGiccAddrs, mpidr: W.W64, efficiency_class: U32, spe_gsiv: U32, trbe_gsiv: U32}
  AcpiMadtGicd{gic_id: U32, base: W.W64, version: U32}
  AcpiMadtGicMsi{id: U32, base: W.W64, flags: U32, spi_count: U32, spi_base: U32}
  AcpiMadtGicr{base: W.W64, length: U32}
  AcpiMadtGicIts{id: U32, base: W.W64}
  AcpiMadtWakeup{version: U32, mailbox: W.W64}
  # any other type: its type and its bytes after the two header bytes
  AcpiMadtOther{kind: U32, data: B.Octets}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiGiccAddrs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64