def fld.mask

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

48# n low bits set
49def fld.mask(+n: Nat) -> W.W64:
50  fld.mask.pick(Nat.is_le(64n, n), n)