Lines Matching refs:type
52 current_syscall_error.type = seL4_IllegalOperation;
56 current_syscall_error.type = seL4_TruncatedMessage;
66 current_syscall_error.type = seL4_RangeError;
73 current_syscall_error.type = seL4_RevokeFirst;
111 current_syscall_error.type = seL4_TruncatedMessage;
118 current_syscall_error.type = seL4_InvalidCapability;
124 current_syscall_error.type = seL4_InvalidCapability;
154 current_syscall_error.type = seL4_IllegalOperation;
166 current_syscall_error.type = seL4_IllegalOperation;
203 current_syscall_error.type = seL4_IllegalOperation;
207 current_syscall_error.type = seL4_TruncatedMessage;
217 current_syscall_error.type = seL4_RangeError;
224 current_syscall_error.type = seL4_RevokeFirst;
266 current_syscall_error.type = seL4_IllegalOperation;
277 current_syscall_error.type = seL4_TruncatedMessage;
286 current_syscall_error.type = seL4_InvalidCapability;
315 current_syscall_error.type = seL4_IllegalOperation;
344 current_syscall_error.type = seL4_IllegalOperation;