Check.mcfg: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/check.bend as Check
Lines 137-142 of bend-osdev-acpi@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/check.bend&start_line=137&end_line=142

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/mcfg.bend as Mc

def mcfg(r: Result<&2, &2, E.AcpiError, Mc.AcpiMcfg>) -> String:
  match r:
    case Done{+m}:
      mw(Mc.AcpiMcfg.ecam_address(m, 0, 0, 31, 0, 96)) ++ " " ++ mw(Mc.AcpiMcfg.ecam_address(m, 1, 0, 0, 0, 0))
    case Fail{e}:
      err(e)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/check.bend&name=err
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/check.bend&name=mw
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError
  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=AcpiMcfg.ecam_address