Caps.CapsError.errno: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/caps.bend as Caps
Lines 528-549 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=528&end_line=549

import Base

# the errno the kernel answers: EINVAL (22) for a capability it does not
# support, EPERM (1) otherwise
def CapsError.errno(e: CapsError) -> U32:
  match e:
    case CapsInvalidCap{}:
      22
    case CapsPermittedGrows{}:
      1
    case CapsEffectiveNotPermitted{}:
      1
    case CapsInheritableNotBounded{}:
      1
    case CapsInheritableNotPermitted{}:
      1
    case CapsNoSetpcap{}:
      1
    case CapsAmbientRaiseLocked{}:
      1
    case CapsAmbientNotAllowed{}:
      1
    case CapsCapabilityDumb{}:
      1

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapsError