32/kernel/vspace.c

706         current_syscall_error.type = seL4_IllegalOperation;
711         current_syscall_error.type = seL4_IllegalOperation;
718         current_syscall_error.type = seL4_AlignmentError;
894         fail("Invalid PTE frame type");
950         fail("Invalid PTE frame type");
982         fail("Invalid PDE frame type");
1323         fail("Invalid VM fault type");
1503         fail("Invalid ARM page type");
1634             current_syscall_error.type =
1652             current_syscall_error.type =
1674             current_syscall_error.type =
1693                 current_syscall_error.type =
1705         fail("Invalid or unexpected ARM page type.");
1743             current_syscall_error.type =
1774                 current_syscall_error.type =
1786         fail("Invalid or unexpected ARM page type.");
2062             current_syscall_error.type = seL4_TruncatedMessage;
2072             current_syscall_error.type = seL4_InvalidArgument;
2080             current_syscall_error.type = seL4_IllegalOperation;
2087             current_syscall_error.type = seL4_InvalidCapability;
2100             current_syscall_error.type = seL4_FailedLookup;
2107             current_syscall_error.type = seL4_InvalidCapability;
2128             current_syscall_error.type = seL4_RangeError;
2148         current_syscall_error.type = seL4_IllegalOperation;
2172             current_syscall_error.type = seL4_RevokeFirst;
2181         current_syscall_error.type = seL4_IllegalOperation;
2187         current_syscall_error.type = seL4_TruncatedMessage;
2193         current_syscall_error.type =
2209         current_syscall_error.type = seL4_InvalidCapability;
2221         current_syscall_error.type = seL4_InvalidArgument;
2233             current_syscall_error.type = seL4_FailedLookup;
2241             current_syscall_error.type =
2253         current_syscall_error.type = seL4_DeleteFirst;
2295             current_syscall_error.type =
2312             current_syscall_error.type =
2324                 current_syscall_error.type = seL4_InvalidCapability;
2332                 current_syscall_error.type = seL4_InvalidArgument;
2342                 current_syscall_error.type =
2356                 current_syscall_error.type =
2366                 current_syscall_error.type =
2379             current_syscall_error.type =
2397                 if (current_syscall_error.type == seL4_DeleteFirst) {
2415                 if (current_syscall_error.type == seL4_DeleteFirst) {
2462             current_syscall_error.type = seL4_TruncatedMessage;
2476             current_syscall_error.type = seL4_IllegalOperation;
2483             current_syscall_error.type =
2495             current_syscall_error.type = seL4_InvalidArgument;
2507             current_syscall_error.type = seL4_InvalidArgument;
2521             current_syscall_error.type = seL4_IllegalOperation;
2542         current_syscall_error.type = seL4_IllegalOperation;
2578             current_syscall_error.type = seL4_IllegalOperation;
2586             current_syscall_error.type = seL4_TruncatedMessage;
2602             current_syscall_error.type = seL4_DeleteFirst;
2613             current_syscall_error.type = seL4_InvalidCapability;
2654             current_syscall_error.type = seL4_IllegalOperation;
2661             current_syscall_error.type = seL4_TruncatedMessage;
2673             current_syscall_error.type = seL4_InvalidCapability;
2683             current_syscall_error.type = seL4_FailedLookup;
2692             current_syscall_error.type = seL4_InvalidCapability;
2704             current_syscall_error.type = seL4_DeleteFirst;
2716         fail("Invalid ARM arch cap type");