Lines Matching refs:current_syscall_error
627 current_syscall_error.type = seL4_IllegalOperation; in checkValidIPCBuffer()
633 current_syscall_error.type = seL4_IllegalOperation; in checkValidIPCBuffer()
639 current_syscall_error.type = seL4_AlignmentError; in checkValidIPCBuffer()
1712 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMVSpaceRootInvocation()
1722 current_syscall_error.type = seL4_InvalidArgument; in decodeARMVSpaceRootInvocation()
1723 current_syscall_error.invalidArgumentNumber = 1; in decodeARMVSpaceRootInvocation()
1730 current_syscall_error.type = seL4_IllegalOperation; in decodeARMVSpaceRootInvocation()
1735 current_syscall_error.type = seL4_InvalidCapability; in decodeARMVSpaceRootInvocation()
1736 current_syscall_error.invalidCapNumber = 0; in decodeARMVSpaceRootInvocation()
1747 current_syscall_error.type = seL4_FailedLookup; in decodeARMVSpaceRootInvocation()
1748 current_syscall_error.failedLookupWasSource = false; in decodeARMVSpaceRootInvocation()
1754 current_syscall_error.type = seL4_InvalidCapability; in decodeARMVSpaceRootInvocation()
1755 current_syscall_error.invalidCapNumber = 0; in decodeARMVSpaceRootInvocation()
1772 current_syscall_error.type = seL4_RangeError; in decodeARMVSpaceRootInvocation()
1773 current_syscall_error.rangeErrorMin = start; in decodeARMVSpaceRootInvocation()
1774 current_syscall_error.rangeErrorMax = PAGE_BASE(start, resolve_ret.frameSize) + in decodeARMVSpaceRootInvocation()
1786 current_syscall_error.type = seL4_IllegalOperation; in decodeARMVSpaceRootInvocation()
1805 current_syscall_error.type = seL4_RevokeFirst; in decodeARMPageUpperDirectoryInvocation()
1814 current_syscall_error.type = seL4_IllegalOperation; in decodeARMPageUpperDirectoryInvocation()
1819 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMPageUpperDirectoryInvocation()
1824 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageUpperDirectoryInvocation()
1825 current_syscall_error.invalidCapNumber = 0; in decodeARMPageUpperDirectoryInvocation()
1833 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageUpperDirectoryInvocation()
1834 current_syscall_error.invalidCapNumber = 1; in decodeARMPageUpperDirectoryInvocation()
1842 current_syscall_error.type = seL4_InvalidArgument; in decodeARMPageUpperDirectoryInvocation()
1843 current_syscall_error.invalidArgumentNumber = 0; in decodeARMPageUpperDirectoryInvocation()
1849 current_syscall_error.type = seL4_FailedLookup; in decodeARMPageUpperDirectoryInvocation()
1850 current_syscall_error.failedLookupWasSource = false; in decodeARMPageUpperDirectoryInvocation()
1855 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageUpperDirectoryInvocation()
1856 current_syscall_error.invalidCapNumber = 1; in decodeARMPageUpperDirectoryInvocation()
1863 current_syscall_error.type = seL4_DeleteFirst; in decodeARMPageUpperDirectoryInvocation()
1892 current_syscall_error.type = seL4_RevokeFirst; in decodeARMPageDirectoryInvocation()
1901 current_syscall_error.type = seL4_IllegalOperation; in decodeARMPageDirectoryInvocation()
1906 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMPageDirectoryInvocation()
1911 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageDirectoryInvocation()
1912 current_syscall_error.invalidCapNumber = 0; in decodeARMPageDirectoryInvocation()
1920 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageDirectoryInvocation()
1921 current_syscall_error.invalidCapNumber = 1; in decodeARMPageDirectoryInvocation()
1929 current_syscall_error.type = seL4_InvalidArgument; in decodeARMPageDirectoryInvocation()
1930 current_syscall_error.invalidArgumentNumber = 0; in decodeARMPageDirectoryInvocation()
1936 current_syscall_error.type = seL4_FailedLookup; in decodeARMPageDirectoryInvocation()
1937 current_syscall_error.failedLookupWasSource = false; in decodeARMPageDirectoryInvocation()
1942 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageDirectoryInvocation()
1943 current_syscall_error.invalidCapNumber = 1; in decodeARMPageDirectoryInvocation()
1950 current_syscall_error.type = seL4_FailedLookup; in decodeARMPageDirectoryInvocation()
1951 current_syscall_error.failedLookupWasSource = false; in decodeARMPageDirectoryInvocation()
1957 current_syscall_error.type = seL4_DeleteFirst; in decodeARMPageDirectoryInvocation()
1984 current_syscall_error.type = seL4_RevokeFirst; in decodeARMPageTableInvocation()
1993 current_syscall_error.type = seL4_IllegalOperation; in decodeARMPageTableInvocation()
1998 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMPageTableInvocation()
2003 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageTableInvocation()
2004 current_syscall_error.invalidCapNumber = 0; in decodeARMPageTableInvocation()
2012 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageTableInvocation()
2013 current_syscall_error.invalidCapNumber = 1; in decodeARMPageTableInvocation()
2021 current_syscall_error.type = seL4_InvalidArgument; in decodeARMPageTableInvocation()
2022 current_syscall_error.invalidArgumentNumber = 0; in decodeARMPageTableInvocation()
2028 current_syscall_error.type = seL4_FailedLookup; in decodeARMPageTableInvocation()
2029 current_syscall_error.failedLookupWasSource = false; in decodeARMPageTableInvocation()
2034 current_syscall_error.type = seL4_InvalidCapability; in decodeARMPageTableInvocation()
2035 current_syscall_error.invalidCapNumber = 1; in decodeARMPageTableInvocation()
2042 current_syscall_error.type = seL4_FailedLookup; in decodeARMPageTableInvocation()
2043 current_syscall_error.failedLookupWasSource = false; in decodeARMPageTableInvocation()
2049 current_syscall_error.type = seL4_DeleteFirst; in decodeARMPageTableInvocation()
2079 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMFrameInvocation()
2092 current_syscall_error.type = seL4_InvalidCapability; in decodeARMFrameInvocation()
2093 current_syscall_error.invalidCapNumber = 1; in decodeARMFrameInvocation()
2102 current_syscall_error.type = seL4_FailedLookup; in decodeARMFrameInvocation()
2103 current_syscall_error.failedLookupWasSource = false; in decodeARMFrameInvocation()
2108 current_syscall_error.type = seL4_InvalidCapability; in decodeARMFrameInvocation()
2109 current_syscall_error.invalidCapNumber = 1; in decodeARMFrameInvocation()
2114 current_syscall_error.type = seL4_AlignmentError; in decodeARMFrameInvocation()
2124 current_syscall_error.type = seL4_InvalidCapability; in decodeARMFrameInvocation()
2125 current_syscall_error.invalidArgumentNumber = 0; in decodeARMFrameInvocation()
2130 current_syscall_error.type = seL4_InvalidArgument; in decodeARMFrameInvocation()
2131 current_syscall_error.invalidArgumentNumber = 2; in decodeARMFrameInvocation()
2136 current_syscall_error.type = seL4_InvalidArgument; in decodeARMFrameInvocation()
2137 current_syscall_error.invalidArgumentNumber = 0; in decodeARMFrameInvocation()
2151 current_syscall_error.type = seL4_FailedLookup; in decodeARMFrameInvocation()
2152 current_syscall_error.failedLookupWasSource = false; in decodeARMFrameInvocation()
2164 current_syscall_error.type = seL4_FailedLookup; in decodeARMFrameInvocation()
2165 current_syscall_error.failedLookupWasSource = false; in decodeARMFrameInvocation()
2177 current_syscall_error.type = seL4_FailedLookup; in decodeARMFrameInvocation()
2178 current_syscall_error.failedLookupWasSource = false; in decodeARMFrameInvocation()
2204 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMFrameInvocation()
2210 current_syscall_error.type = seL4_IllegalOperation; in decodeARMFrameInvocation()
2220 current_syscall_error.type = seL4_FailedLookup; in decodeARMFrameInvocation()
2221 current_syscall_error.failedLookupWasSource = false; in decodeARMFrameInvocation()
2231 current_syscall_error.type = seL4_InvalidArgument; in decodeARMFrameInvocation()
2232 current_syscall_error.invalidArgumentNumber = 1; in decodeARMFrameInvocation()
2240 current_syscall_error.type = seL4_InvalidArgument; in decodeARMFrameInvocation()
2241 current_syscall_error.invalidArgumentNumber = 0; in decodeARMFrameInvocation()
2250 current_syscall_error.type = seL4_IllegalOperation; in decodeARMFrameInvocation()
2265 current_syscall_error.type = seL4_IllegalOperation; in decodeARMFrameInvocation()
2300 current_syscall_error.type = seL4_IllegalOperation; in decodeARMMMUInvocation()
2308 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMMMUInvocation()
2323 current_syscall_error.type = seL4_DeleteFirst; in decodeARMMMUInvocation()
2333 current_syscall_error.type = seL4_InvalidCapability; in decodeARMMMUInvocation()
2334 current_syscall_error.invalidCapNumber = 1; in decodeARMMMUInvocation()
2369 current_syscall_error.type = seL4_IllegalOperation; in decodeARMMMUInvocation()
2375 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMMMUInvocation()
2384 current_syscall_error.type = seL4_InvalidCapability; in decodeARMMMUInvocation()
2385 current_syscall_error.invalidCapNumber = 1; in decodeARMMMUInvocation()
2393 current_syscall_error.type = seL4_FailedLookup; in decodeARMMMUInvocation()
2394 current_syscall_error.failedLookupWasSource = false; in decodeARMMMUInvocation()
2401 current_syscall_error.type = seL4_InvalidCapability; in decodeARMMMUInvocation()
2402 current_syscall_error.invalidCapNumber = 0; in decodeARMMMUInvocation()
2412 current_syscall_error.type = seL4_DeleteFirst; in decodeARMMMUInvocation()