def fld.count

bend-osdev-acpi@0.1.1.0 · aml_field.bend:79

import bend-osdev-acpi@0.1.1.0/aml_field.bend as AmlField

import Base

79def fld.count(+f: AmlFieldDesc) -> Nat:
80  match f:
81    case AmlFieldDesc{sp, base, rlen, +off, +bits, +flags}:
82      +ub = Nat.mul(AmlField.unit(flags), 8n)
83      Nat.sub(Nat.add(Nat.div(Nat.sub(Nat.add(off, bits), 1n), ub), 1n), Nat.div(off, ub))

Uses (7)

Used by (4)