Show.AcpiShow.srat_entry: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 224-239 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=224&end_line=239

import Base
import bend-osdev-acpi@0.1.1.0/srat.bend as Sr

def AcpiShow.srat_entry(e: Sr.AcpiSratEntry) -> String:
  match e:
    case Sr.AcpiSratLapic{d, a, f, s, c}:
      "lapic " ++ sh.u(d) ++ " " ++ sh.u(a) ++ " " ++ sh.u(f) ++ " " ++ sh.u(s) ++ " " ++ sh.u(c)
    case Sr.AcpiSratMemory{d, b, l, f}:
      "mem " ++ sh.u(d) ++ " " ++ sh.w(b) ++ " " ++ sh.w(l) ++ " " ++ sh.u(f)
    case Sr.AcpiSratX2apic{d, x, f, c}:
      "x2apic " ++ sh.u(d) ++ " " ++ sh.u(x) ++ " " ++ sh.u(f) ++ " " ++ sh.u(c)
    case Sr.AcpiSratGicc{d, u, f, c}:
      "gicc " ++ sh.u(d) ++ " " ++ sh.u(u) ++ " " ++ sh.u(f) ++ " " ++ sh.u(c)
    case Sr.AcpiSratGicIts{d, i}:
      "its " ++ sh.u(d) ++ " " ++ sh.u(i)
    case Sr.AcpiSratGeneric{k, ht, d, hd, f}:
      "gen " ++ sh.u(k) ++ " " ++ sh.u(ht) ++ " " ++ sh.u(d) ++ " " ++ sh.x(hd) ++ " " ++ sh.u(f)
    case Sr.AcpiSratOther{k, d}:
      "other " ++ sh.u(k) ++ " " ++ sh.x(d)

Uses (6):
  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/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
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/srat.bend&name=AcpiSratEntry