def CapsKernel.valid

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

import Base

510# whether c names a capability this kernel supports
511def CapsKernel.valid(k: CapsKernel, +c: U32) -> Bool:
512  match k:
513    case CapsKernel{l, f}:
514      Bool.and(Cap.valid(c), U32.is_le(c, l))