Caps.CapSet.from_w64: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 396-398 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=396&end_line=398

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

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

Uses (6):
  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.u32_word
  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.hi
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.lo