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

import Base
import bend-osdev-acpi@0.1.1.0/fadt.bend as F

def AcpiShow.fadt(+f: F.AcpiFadt) -> String:
  match f:
    case F.AcpiFadt{h, c, x, s, v}:
      "FADT " ++ sh.fadt.core(c) ++ " ext " ++ sh.fadt.ext(x) ++ " sleep " ++ sh.fadt.sleep(s) ++ " hyp " ++ sh.fadt.hyp(v) ++ " dsdt " ++ sh.w(F.AcpiFadt.dsdt_address(f)) ++ " facs " ++ sh.w(F.AcpiFadt.facs_address(f)) ++ " pm1a " ++ AcpiShow.gas(F.AcpiFadt.block(f, F.AcpiFadtPm1aEvt{}))

Uses (13):
  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/fadt.bend&name=AcpiFadt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadt.block
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadt.dsdt_address
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadt.facs_address
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadtBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=AcpiShow.gas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.fadt.core
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.fadt.ext
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.fadt.hyp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.fadt.sleep
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.w