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

import Base
import bend-osdev-acpi@0.1.1.0/madt.bend as M

def madt.e(e: M.AcpiMadtEntry) -> String:
  match e:
    case M.AcpiMadtLapic{u, a, f}:
      "lapic " ++ U32.show(a)
    case M.AcpiMadtIoApic{i, a, g}:
      "ioapic " ++ U32.show(i) ++ " at " ++ U32.show(a)
    case M.AcpiMadtIso{b, s, g, f}:
      "irq " ++ U32.show(s) ++ "->" ++ U32.show(g) ++ "/" ++ U32.show(f)
    case M.AcpiMadtLapicNmi{u, f, l}:
      "nmi lint" ++ U32.show(l)
    case M.AcpiMadtX2apic{x, f, u}:
      "x2apic " ++ U32.show(x)
    case _:
      "other"

Uses (4):
  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=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/madt.bend&name=AcpiMadtEntry