def ld.fadt

bend-osdev-acpi@0.1.1.0 · acpi.bend:160

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

160# the FADT among the tables read
161def ld.fadt(~X: Data, ts: List<&2, AcpiLoaded<X>>) -> Maybe<&2, F.AcpiFadt>:
162  match ts:
163    case Nil{}:
164      None{}
165    case Con{AcpiLoaded{a, Done{R.AcpiTFadt{f}}}, t}:
166      Some{f}
167    case Con{h, t}:
168      ld.fadt(~X, t)