def CapSet.from_w64

bend-osdev-caps@0.1.0.0 · caps.bend:396

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

396# the set of the low 41 bits of a 64-bit mask
397def CapSet.from_w64(+v: W.W64) -> CapSet():
398  CapSetW{W.W64.lo(v), CapSetW.u32_word(9n, W.W64.hi(v))}