def AcpiExample.mcfg
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport 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
211def AcpiExample.mcfg() -> Mc.AcpiMcfg:
212 Mc.AcpiMcfg{ex.hdr("MCFG", 1), [Mc.AcpiMcfgEntry{W.W64.from_u32(3758096384), 0, 0, 255}]}