def loaded

bend-osdev-acpi@0.1.1.0 · check.bend:64

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/registry.bend as R
import bend-osdev-acpi@0.1.1.0/acpi.bend as A

64def loaded(l: A.AcpiLoaded<R.AcpiNoExt>) -> String:
65  match l:
66    case A.AcpiLoaded{a, Done{t}}:
67      W.W64.show_hex(a) ++ " " ++ R.AcpiTable.name(~R.AcpiNoExt, t)
68    case A.AcpiLoaded{a, Fail{e}}:
69      W.W64.show_hex(a) ++ " " ++ err(e)