def boot

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

import bend-osdev-acpi@0.1.1.0/check.bend as Check
import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs
import bend-osdev-acpi@0.1.1.0/aml.bend as Am

185def boot(r: Result<&2, &2, E.AcpiError, Am.AmlSystem<Hs.AmlMemHost>>) -> Am.AmlSystem<Hs.AmlMemHost>:
186  match r:
187    case Done{s}:
188      s
189    case Fail{e}:
190      Am.Aml.mem_system(True{})

Uses (6)

Used by (1)