def fl.named.chk

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2400

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

2400def fl.named.chk(-H: Data, k: AmlFk, ok: Bool, +seg: String, +c: AmlCur, +off: Nat, +flags: U32, +w: AmlWorld<H>) -> Result<&2, &2, E.AcpiError, AmlFlNext<H>>:
2401  match ok:
2402    case False{}:
2403      Fail{E.AcpiAmlBadName{}}
2404    case True{}:
2405      fl.named.k(H, k, seg, fl.bits(c), off, flags, w)