smmu.c - OpenGrok cross reference for /seL4-master/src/arch/arm/object/smmu.c

Lines Matching refs:current_syscall_error
51         current_syscall_error.type = seL4_IllegalOperation;  in decodeARMSIDControlInvocation()
55         current_syscall_error.type = seL4_TruncatedMessage;  in decodeARMSIDControlInvocation()
65         current_syscall_error.type = seL4_RangeError;  in decodeARMSIDControlInvocation()
66         current_syscall_error.rangeErrorMin = 0;  in decodeARMSIDControlInvocation()
67         current_syscall_error.rangeErrorMax = SMMU_MAX_SID - 1;  in decodeARMSIDControlInvocation()
72         current_syscall_error.type = seL4_RevokeFirst;  in decodeARMSIDControlInvocation()
109             current_syscall_error.type = seL4_TruncatedMessage;  in decodeARMSIDInvocation()
116             current_syscall_error.type = seL4_InvalidCapability;  in decodeARMSIDInvocation()
117             current_syscall_error.invalidCapNumber = 1;  in decodeARMSIDInvocation()
122             current_syscall_error.type = seL4_InvalidCapability;  in decodeARMSIDInvocation()
123             current_syscall_error.invalidCapNumber = 1;  in decodeARMSIDInvocation()
152             current_syscall_error.type = seL4_IllegalOperation;  in decodeARMSIDInvocation()
164         current_syscall_error.type = seL4_IllegalOperation;  in decodeARMSIDInvocation()
200         current_syscall_error.type = seL4_IllegalOperation;  in decodeARMCBControlInvocation()
204         current_syscall_error.type = seL4_TruncatedMessage;  in decodeARMCBControlInvocation()
214         current_syscall_error.type = seL4_RangeError;  in decodeARMCBControlInvocation()
215         current_syscall_error.rangeErrorMin = 0;  in decodeARMCBControlInvocation()
216         current_syscall_error.rangeErrorMax = SMMU_MAX_CB - 1;  in decodeARMCBControlInvocation()
221         current_syscall_error.type = seL4_RevokeFirst;  in decodeARMCBControlInvocation()
262             current_syscall_error.type = seL4_IllegalOperation;  in decodeARMCBInvocation()
273             current_syscall_error.type = seL4_TruncatedMessage;  in decodeARMCBInvocation()
282             current_syscall_error.type = seL4_InvalidCapability;  in decodeARMCBInvocation()
283             current_syscall_error.invalidCapNumber = 1;  in decodeARMCBInvocation()
311             current_syscall_error.type = seL4_IllegalOperation;  in decodeARMCBInvocation()
340         current_syscall_error.type = seL4_IllegalOperation;  in decodeARMCBInvocation()