def CapSet.to_w64

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

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

390# the 64-bit mask of a set, as capget(2) and /proc/<pid>/status show it
391def CapSet.to_w64(s: CapSet()) -> W.W64:
392  match s:
393    case CapSetW{l, h}:
394      W.W64.from_parts(CapSetW.word_u32(9n, h), l)