def fl.named.k

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_ns.bend as S

2391def fl.named.k(-H: Data, k: AmlFk, +seg: String, r: Result<&2, &2, E.AcpiError, AmlImm>, +off: Nat, +flags: U32, +w: AmlWorld<H>) -> Result<&2, &2, E.AcpiError, AmlFlNext<H>>:
2392  match r:
2393    case Fail{e}:
2394      Fail{e}
2395    case Done{AmlImm{n, c}}:
2396      +bits = W.W64.to_nat(n)
2397      +p = S.AmlPath.child(in.scope(H, w), seg)
2398      fl.named.def(H, S.AmlNs.has(AmlWorld.ns(H, w), p), p, fl.unit(k, off, bits, flags), c, Nat.add(off, bits), flags, w)