type CapSetW

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

import Base

254# A set is two words: capabilities 0 to 31 are the bits of a native U32 (bit
255# k is capability k), and capabilities 32 to 40 a Word(9n) (bit j is
256# capability 32 + j). Ten machine words, where a Word(41n) cost forty-one
257# (and a CapState of five of them was more than Bend's C backend compiles:
258# bendlang/bend#1069). The high part is exactly nine bits, so every value of
259# the type is a set of capabilities 0 to 40, with one representation each.
260# Internal: use the CapSet defs.
261type CapSetW is Data:
262  CapSetW{lo: U32, hi: Word(9n)}