def cr.vm.pmask

bend-osdev-crypto@0.1.0.0 · vmac.bend:344

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

344# the poly key mask: each 32-bit field's top 3 bits cleared
345def cr.vm.pmask(x: CrU128) -> CrU128:
346  match x:
347    case CrU128{h, l}:
348      +m = W.W64.from_parts(536870911, 536870911)
349      CrU128{W.W64.and(h, m), W.W64.and(l, m)}