def aml.boot.go

bend-osdev-acpi@0.1.1.0 · aml.bend:188

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/dsdt.bend as D
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs

188def aml.boot.go(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, ts: List<&2, D.AcpiAml>, +n: Nat, r: Result<&2, &2, E.AcpiError, AmlSystem<H>>) -> Result<&2, &2, E.AcpiError, AmlSystem<H>>:
189  match ts:
190    case Nil{}:
191      r
192    case Con{t, rest}:
193      aml.boot.go(~H, ~io, rest, n, aml.boot.one(~H, ~io, t, n, r))