Lines Matching refs:type
169 current_syscall_error.type = seL4_TruncatedMessage;
175 current_syscall_error.type = seL4_IllegalOperation;
184 current_syscall_error.type = seL4_InvalidCapability;
191 current_syscall_error.type = seL4_InvalidCapability;
208 current_syscall_error.type = seL4_DeleteFirst;
265 current_syscall_error.type = seL4_TruncatedMessage;
270 userError("IOMap: Invalid cap type.");
271 current_syscall_error.type = seL4_InvalidCapability;
278 current_syscall_error.type = seL4_InvalidCapability;
289 current_syscall_error.type = seL4_InvalidCapability;
302 current_syscall_error.type = seL4_FailedLookup;
309 current_syscall_error.type = seL4_DeleteFirst;
353 current_syscall_error.type = seL4_InvalidArgument;
361 current_syscall_error.type = seL4_InvalidArgument;
475 current_syscall_error.type = seL4_IllegalOperation;