Example.AcpiExample.madt: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/example.bend as Example
Lines 205-206 of bend-osdev-acpi@0.1.1.0/example.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/example.bend&start_line=205&end_line=206

import Base
import bend-osdev-acpi@0.1.1.0/madt.bend as M

def AcpiExample.madt() -> M.AcpiMadt:
  M.AcpiMadt{ex.hdr("APIC", 5), 4276092928, 1, {[M.AcpiMadtLapic{0, 0, 1}, M.AcpiMadtLapic{1, 1, 1}, M.AcpiMadtIoApic{2, 4273995776, 0}, M.AcpiMadtIso{0, 0, 2, 0}, M.AcpiMadtIso{0, 9, 9, 13}, M.AcpiMadtLapicNmi{255, 5, 1}, M.AcpiMadtX2apic{256, 1, 2}] : List<&2, M.AcpiMadtEntry>}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/example.bend&name=ex.hdr
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiMadt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiMadtEntry