Show.AcpiShow.madt_entry: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 126-157 of bend-osdev-acpi@0.1.1.0/show.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&start_line=126&end_line=157

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

def AcpiShow.madt_entry(e: M.AcpiMadtEntry) -> String:
  match e:
    case M.AcpiMadtLapic{u, a, f}:
      "lapic " ++ sh.u(u) ++ " " ++ sh.u(a) ++ " " ++ sh.u(f)
    case M.AcpiMadtIoApic{i, a, g}:
      "ioapic " ++ sh.u(i) ++ " " ++ sh.u(a) ++ " " ++ sh.u(g)
    case M.AcpiMadtIso{b, s, g, f}:
      "iso " ++ sh.u(b) ++ " " ++ sh.u(s) ++ " " ++ sh.u(g) ++ " " ++ sh.u(f)
    case M.AcpiMadtNmiSource{f, g}:
      "nmisrc " ++ sh.u(f) ++ " " ++ sh.u(g)
    case M.AcpiMadtLapicNmi{u, f, l}:
      "lapicnmi " ++ sh.u(u) ++ " " ++ sh.u(f) ++ " " ++ sh.u(l)
    case M.AcpiMadtLapicOverride{a}:
      "override " ++ sh.w(a)
    case M.AcpiMadtX2apic{x, f, u}:
      "x2apic " ++ sh.u(x) ++ " " ++ sh.u(f) ++ " " ++ sh.u(u)
    case M.AcpiMadtX2apicNmi{f, u, l}:
      "x2nmi " ++ sh.u(f) ++ " " ++ sh.u(u) ++ " " ++ sh.u(l)
    case M.AcpiMadtGicc{ci, u, f, pv, pg, vg, M.AcpiGiccAddrs{pk, b, gv, gh, gr}, mp, ec, sp, tr}:
      "gicc " ++ sh.u(ci) ++ " " ++ sh.u(u) ++ " " ++ sh.u(f) ++ " " ++ sh.u(pv) ++ " " ++ sh.u(pg) ++ " " ++ sh.u(vg) ++ " " ++ sh.w(pk) ++ " " ++ sh.w(b) ++ " " ++ sh.w(gv) ++ " " ++ sh.w(gh) ++ " " ++ sh.w(gr) ++ " " ++ sh.w(mp) ++ " " ++ sh.u(ec) ++ " " ++ sh.u(sp) ++ " " ++ sh.u(tr)
    case M.AcpiMadtGicd{i, b, v}:
      "gicd " ++ sh.u(i) ++ " " ++ sh.w(b) ++ " " ++ sh.u(v)
    case M.AcpiMadtGicMsi{i, b, f, c, s}:
      "gicmsi " ++ sh.u(i) ++ " " ++ sh.w(b) ++ " " ++ sh.u(f) ++ " " ++ sh.u(c) ++ " " ++ sh.u(s)
    case M.AcpiMadtGicr{b, l}:
      "gicr " ++ sh.w(b) ++ " " ++ sh.u(l)
    case M.AcpiMadtGicIts{i, b}:
      "gicits " ++ sh.u(i) ++ " " ++ sh.w(b)
    case M.AcpiMadtWakeup{v, m}:
      "wakeup " ++ sh.u(v) ++ " " ++ sh.w(m)
    case M.AcpiMadtOther{k, d}:
      "other " ++ sh.u(k) ++ " " ++ sh.x(d)

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