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

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

def AcpiExample.mcfg() -> Mc.AcpiMcfg:
  Mc.AcpiMcfg{ex.hdr("MCFG", 1), [Mc.AcpiMcfgEntry{W.W64.from_u32(3758096384), 0, 0, 255}]}

Uses (5):
  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/mcfg.bend&name=AcpiMcfg
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/mcfg.bend&name=AcpiMcfgEntry
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_u32