Check.madt: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/check.bend as Check
Lines 109-114 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=109&end_line=114

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/madt.bend as M

def madt(r: Result<&2, &2, E.AcpiError, M.AcpiMadt>) -> String:
  match r:
    case Done{+m}:
      W.W64.show_hex(M.AcpiMadt.lapic_address(m)) ++ ": " ++ String.join(madt.es(M.AcpiMadt.entries(m)), ", ")
    case Fail{e}:
      err(e)

Uses (11):
  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=Base/base.bend&name=String.join
  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=madt.es
  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/madt.bend&name=AcpiMadt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiMadt.entries
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiMadt.lapic_address
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.show_hex