Caps.CapSet.to_w64: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 390-394 of bend-osdev-caps@0.1.0.0/caps.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&start_line=390&end_line=394

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSet
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSetW
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSetW.word_u32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_parts