Lines Matching refs:current_syscall_error
55 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
61 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
85 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
108 current_syscall_error.type = seL4_FailedLookup; in decodeCNodeInvocation()
109 current_syscall_error.failedLookupWasSource = 1; in decodeCNodeInvocation()
120 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
139 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
166 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
183 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
225 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
240 current_syscall_error.type = seL4_TruncatedMessage; in decodeCNodeInvocation()
267 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
279 current_syscall_error.type = seL4_FailedLookup; in decodeCNodeInvocation()
280 current_syscall_error.failedLookupWasSource = 1; in decodeCNodeInvocation()
286 current_syscall_error.type = seL4_FailedLookup; in decodeCNodeInvocation()
287 current_syscall_error.failedLookupWasSource = 0; in decodeCNodeInvocation()
297 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
303 current_syscall_error.type = seL4_IllegalOperation; in decodeCNodeInvocation()
822 current_syscall_error.type = seL4_RevokeFirst; in ensureNoChildren()
833 current_syscall_error.type = seL4_DeleteFirst; in ensureEmptySlot()