def AcpiF.bit
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
29# bit k of a word
30def AcpiF.bit(+v: U32, k: Nat) -> Bool:
31 U32.is_eq(U32.and(U32.shrn(v, k), 1), 1)
import bend-osdev-acpi@0.1.1.0/fields.bend as Fieldsimport Base
29# bit k of a word
30def AcpiF.bit(+v: U32, k: Nat) -> Bool:
31 U32.is_eq(U32.and(U32.shrn(v, k), 1), 1)