def AcpiF.bits
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
33# bits k .. k + n - 1 of a word
34def AcpiF.bits(+v: U32, k: Nat, n: Nat) -> U32:
35 U32.and(U32.shrn(v, k), U32.sub(U32.shln(1, n), 1))
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
33# bits k .. k + n - 1 of a word
34def AcpiF.bits(+v: U32, k: Nat, n: Nat) -> U32:
35 U32.and(U32.shrn(v, k), U32.sub(U32.shln(1, n), 1))