Lines Matching refs:current_syscall_error
33 current_syscall_error.type = seL4_TruncatedMessage; in decodeSchedContext_UnbindObject()
42 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_UnbindObject()
47 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_UnbindObject()
54 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_UnbindObject()
61 current_syscall_error.type = seL4_InvalidCapability; in decodeSchedContext_UnbindObject()
62 current_syscall_error.invalidCapNumber = 1; in decodeSchedContext_UnbindObject()
91 current_syscall_error.type = seL4_TruncatedMessage; in decodeSchedContext_Bind()
101 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_Bind()
107 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_Bind()
113 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_Bind()
121 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_Bind()
127 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_Bind()
133 current_syscall_error.type = seL4_InvalidCapability; in decodeSchedContext_Bind()
134 current_syscall_error.invalidCapNumber = 1; in decodeSchedContext_Bind()
220 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_YieldTo()
226 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_YieldTo()
233 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_YieldTo()
243 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContext_YieldTo()
270 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContextInvocation()
279 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedContextInvocation()