Example.AcpiExample.srat: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/example.bend as Example
Lines 214-215 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=214&end_line=215

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

def AcpiExample.srat() -> Sr.AcpiSrat:
  Sr.AcpiSrat{ex.hdr("SRAT", 3), {[Sr.AcpiSratLapic{0, 0, 1, 0, 0}, Sr.AcpiSratLapic{1, 1, 1, 0, 0}, Sr.AcpiSratMemory{0, W.W64.zero(), W.W64.from_u32(2147483648), 1}, Sr.AcpiSratMemory{1, W.W64.from_parts(1, 0), W.W64.from_u32(2147483648), 1}] : List<&2, Sr.AcpiSratEntry>}}

Uses (7):
  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/srat.bend&name=AcpiSrat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/srat.bend&name=AcpiSratEntry
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_parts
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_u32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.zero