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

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/fadt.bend as F
import bend-osdev-acpi@0.1.1.0/gas.bend as G

def fadt(r: Result<&2, &2, E.AcpiError, F.AcpiFadt>) -> String:
  match r:
    case Done{+f}:
      "dsdt " ++ W.W64.show_hex(F.AcpiFadt.dsdt_address(f)) ++ " pm1a_evt " ++ G.AcpiGas.show(F.AcpiFadt.block(f, F.AcpiFadtPm1aEvt{})) ++ " pm1b_cnt " ++ G.AcpiGas.show(F.AcpiFadt.block(f, F.AcpiFadtPm1bCnt{})) ++ " reduced " ++ Bool.show(F.AcpiFadt.hw_reduced(f))
    case Fail{e}:
      err(e)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.show
  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=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/error.bend&name=AcpiError
  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.hw_reduced
  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/gas.bend&name=AcpiGas.show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.show_hex