src/object/objecttype.c

634         current_syscall_error.type = seL4_InvalidCapability;
640         current_syscall_error.type = seL4_InvalidCapability;
648             current_syscall_error.type = seL4_InvalidCapability;
672             current_syscall_error.type = seL4_InvalidCapability;
695             current_syscall_error.type = seL4_InvalidCapability;
711             current_syscall_error.type = seL4_InvalidCapability;
723             current_syscall_error.type = seL4_InvalidCapability;
734             current_syscall_error.type = seL4_InvalidCapability;
757             current_syscall_error.type = seL4_InvalidCapability;
766             current_syscall_error.type = seL4_InvalidCapability;