| /seL4-master/src/object/ |
| A D | untyped.c | 71 current_syscall_error.invalidArgumentNumber = 0; in decodeUntypedInvocation()
82 current_syscall_error.type = seL4_RangeError; in decodeUntypedInvocation()
83 current_syscall_error.rangeErrorMin = 0; in decodeUntypedInvocation()
92 current_syscall_error.invalidArgumentNumber = 1; in decodeUntypedInvocation()
129 current_syscall_error.type = seL4_FailedLookup; in decodeUntypedInvocation()
140 current_syscall_error.type = seL4_RangeError; in decodeUntypedInvocation()
141 current_syscall_error.rangeErrorMin = 0; in decodeUntypedInvocation()
148 current_syscall_error.type = seL4_RangeError; in decodeUntypedInvocation()
149 current_syscall_error.rangeErrorMin = 1; in decodeUntypedInvocation()
155 current_syscall_error.type = seL4_RangeError; in decodeUntypedInvocation()
[all …]
|
| A D | schedcontrol.c | 92 current_syscall_error.type = seL4_TruncatedMessage; in decodeSchedControl_ConfigureFlags()
98 current_syscall_error.type = seL4_TruncatedMessage; in decodeSchedControl_ConfigureFlags()
113 current_syscall_error.type = seL4_InvalidCapability; in decodeSchedControl_ConfigureFlags()
114 current_syscall_error.invalidCapNumber = 1; in decodeSchedControl_ConfigureFlags()
120 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
128 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
136 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
138 current_syscall_error.rangeErrorMax = period_us; in decodeSchedControl_ConfigureFlags()
143 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
144 current_syscall_error.rangeErrorMin = 0; in decodeSchedControl_ConfigureFlags()
[all …]
|
| A D | tcb.c | 43 current_syscall_error.type = seL4_RangeError; in checkPrio()
45 current_syscall_error.rangeErrorMax = mcp; in checkPrio()
552 current_syscall_error = syserr; in decodeConfigureSingleStepping()
677 current_syscall_error = error; in decodeSetBreakpoint()
710 current_syscall_error = error; in decodeGetBreakpoint()
737 current_syscall_error = error; in decodeUnsetBreakpoint()
906 current_syscall_error.invalidCapNumber = 1; in decodeCopyRegisters()
944 current_syscall_error.rangeErrorMin = 1; in decodeReadRegisters()
1161 current_syscall_error.invalidCapNumber = 1; in decodeSetPriority()
1205 current_syscall_error.invalidCapNumber = 1; in decodeSetMCPriority()
[all …]
|
| A D | schedcontext.c | 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()
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()
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()
[all …]
|
| A D | objecttype.c | 638 current_syscall_error.type = seL4_InvalidCapability; in decodeInvocation()
639 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
645 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
653 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
677 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
700 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
716 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
727 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
738 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
759 current_syscall_error.invalidCapNumber = 0; in decodeInvocation()
[all …]
|
| A D | cnode.c | 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()
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()
822 current_syscall_error.type = seL4_RevokeFirst; in ensureNoChildren()
[all …]
|
| A D | interrupt.c | 35 current_syscall_error.type = seL4_TruncatedMessage; in decodeIRQControlInvocation()
51 current_syscall_error.type = seL4_RevokeFirst; in decodeIRQControlInvocation()
99 current_syscall_error.type = seL4_TruncatedMessage; in decodeIRQHandlerInvocation()
112 current_syscall_error.type = seL4_InvalidCapability; in decodeIRQHandlerInvocation()
113 current_syscall_error.invalidCapNumber = 0; in decodeIRQHandlerInvocation()
129 current_syscall_error.type = seL4_IllegalOperation; in decodeIRQHandlerInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 44 current_syscall_error.type = seL4_IllegalOperation; in Arch_checkIRQ()
47 current_syscall_error.type = seL4_RangeError; in Arch_checkIRQ()
48 current_syscall_error.rangeErrorMin = irq_isa_min; in Arch_checkIRQ()
49 current_syscall_error.rangeErrorMax = irq_isa_max; in Arch_checkIRQ()
105 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
106 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
114 current_syscall_error.type = seL4_RevokeFirst; in Arch_decodeIRQControlInvocation()
158 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
159 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
166 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
[all …]
|
| A D | iospace.c | 209 current_syscall_error.invalidCapNumber = 0; in decodeX86IOPTInvocation()
216 current_syscall_error.invalidCapNumber = 0; in decodeX86IOPTInvocation()
224 current_syscall_error.invalidCapNumber = 0; in decodeX86IOPTInvocation()
323 current_syscall_error.invalidCapNumber = 0; in decodeX86IOMapInvocation()
330 current_syscall_error.invalidCapNumber = 0; in decodeX86IOMapInvocation()
341 current_syscall_error.invalidCapNumber = 0; in decodeX86IOMapInvocation()
350 current_syscall_error.invalidCapNumber = 0; in decodeX86IOMapInvocation()
358 current_syscall_error.type = seL4_FailedLookup; in decodeX86IOMapInvocation()
366 current_syscall_error.type = seL4_FailedLookup; in decodeX86IOMapInvocation()
372 current_syscall_error.type = seL4_DeleteFirst; in decodeX86IOMapInvocation()
[all …]
|
| A D | ioport.c | 45 current_syscall_error.type = seL4_IllegalOperation; in ensurePortOperationAllowed()
122 current_syscall_error.type = seL4_IllegalOperation; in decodeX86PortControlInvocation()
128 current_syscall_error.type = seL4_TruncatedMessage; in decodeX86PortControlInvocation()
141 current_syscall_error.type = seL4_InvalidArgument; in decodeX86PortControlInvocation()
142 current_syscall_error.invalidArgumentNumber = 1; in decodeX86PortControlInvocation()
148 current_syscall_error.type = seL4_RevokeFirst; in decodeX86PortControlInvocation()
247 current_syscall_error.type = seL4_TruncatedMessage; in decodeX86PortInvocation()
272 current_syscall_error.type = seL4_TruncatedMessage; in decodeX86PortInvocation()
306 current_syscall_error.type = seL4_IllegalOperation; in decodeX86PortInvocation()
|
| A D | tcb.c | 57 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetEPTRoot()
65 current_syscall_error.type = seL4_IllegalOperation; in decodeSetEPTRoot()
76 current_syscall_error.type = seL4_IllegalOperation; in decodeSetEPTRoot()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 301 current_syscall_error.invalidCapNumber = 0; in decodeX86EPTPDPTInvocation()
316 current_syscall_error.invalidCapNumber = 1; in decodeX86EPTPDPTInvocation()
334 current_syscall_error.invalidCapNumber = 1; in decodeX86EPTPDPTInvocation()
503 current_syscall_error.type = in decodeX86EPTPDInvocation()
505 current_syscall_error.invalidCapNumber = 0; in decodeX86EPTPDInvocation()
517 current_syscall_error.invalidCapNumber = 1; in decodeX86EPTPDInvocation()
537 current_syscall_error.invalidCapNumber = 1; in decodeX86EPTPDInvocation()
690 current_syscall_error.type = in decodeX86EPTPTInvocation()
692 current_syscall_error.invalidCapNumber = 0; in decodeX86EPTPTInvocation()
705 current_syscall_error.invalidCapNumber = 1; in decodeX86EPTPTInvocation()
[all …]
|
| A D | vspace.c | 872 current_syscall_error.type = seL4_FailedLookup; in createSafeMappingEntries_PTE()
901 current_syscall_error.type = seL4_FailedLookup; in createSafeMappingEntries_PDE()
912 current_syscall_error.type = seL4_DeleteFirst; in createSafeMappingEntries_PDE()
963 current_syscall_error.invalidCapNumber = 1; in decodeX86FrameInvocation()
1171 current_syscall_error.type = in decodeX86PageTableInvocation()
1173 current_syscall_error.invalidCapNumber = 0; in decodeX86PageTableInvocation()
1184 current_syscall_error.invalidCapNumber = 1; in decodeX86PageTableInvocation()
1213 current_syscall_error.invalidCapNumber = 1; in decodeX86PageTableInvocation()
1221 current_syscall_error.type = seL4_FailedLookup; in decodeX86PageTableInvocation()
1229 current_syscall_error.type = seL4_DeleteFirst; in decodeX86PageTableInvocation()
[all …]
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 426 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
427 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
430 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
434 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
435 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
436 current_syscall_error.rangeErrorMax = 31; in decodeVCPUInjectIRQ()
438 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
442 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
443 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
444 current_syscall_error.rangeErrorMax = 1; in decodeVCPUInjectIRQ()
[all …]
|
| A D | smmu.c | 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()
72 current_syscall_error.type = seL4_RevokeFirst; in decodeARMSIDControlInvocation()
117 current_syscall_error.invalidCapNumber = 1; in decodeARMSIDInvocation()
123 current_syscall_error.invalidCapNumber = 1; in decodeARMSIDInvocation()
214 current_syscall_error.type = seL4_RangeError; in decodeARMCBControlInvocation()
215 current_syscall_error.rangeErrorMin = 0; in decodeARMCBControlInvocation()
221 current_syscall_error.type = seL4_RevokeFirst; in decodeARMCBControlInvocation()
[all …]
|
| A D | iospace.c | 168 current_syscall_error.type = seL4_TruncatedMessage; in decodeARMIOPTInvocation()
184 current_syscall_error.invalidCapNumber = 0; in decodeARMIOPTInvocation()
191 current_syscall_error.invalidCapNumber = 1; in decodeARMIOPTInvocation()
207 current_syscall_error.type = seL4_DeleteFirst; in decodeARMIOPTInvocation()
270 current_syscall_error.invalidCapNumber = 0; in decodeARMIOMapInvocation()
277 current_syscall_error.invalidCapNumber = 0; in decodeARMIOMapInvocation()
288 current_syscall_error.invalidCapNumber = 1; in decodeARMIOMapInvocation()
300 current_syscall_error.type = seL4_FailedLookup; in decodeARMIOMapInvocation()
307 current_syscall_error.type = seL4_DeleteFirst; in decodeARMIOMapInvocation()
360 current_syscall_error.invalidArgumentNumber = 0; in decodeARMIOMapInvocation()
[all …]
|
| A D | interrupt.c | 26 current_syscall_error.type = seL4_TruncatedMessage; in Arch_decodeIRQControlInvocation()
32 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
52 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
57 current_syscall_error.type = seL4_RevokeFirst; in Arch_decodeIRQControlInvocation()
96 current_syscall_error.type = seL4_InvalidArgument; in Arch_decodeIRQControlInvocation()
102 current_syscall_error.type = seL4_RevokeFirst; in Arch_decodeIRQControlInvocation()
134 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | ioapic.c | 111 current_syscall_error.type = seL4_IllegalOperation; in ioapic_decode_map_pin_to_vector()
116 current_syscall_error.type = seL4_RangeError; in ioapic_decode_map_pin_to_vector()
117 current_syscall_error.rangeErrorMin = 0; in ioapic_decode_map_pin_to_vector()
123 current_syscall_error.type = seL4_RangeError; in ioapic_decode_map_pin_to_vector()
124 current_syscall_error.rangeErrorMin = 0; in ioapic_decode_map_pin_to_vector()
131 current_syscall_error.type = seL4_RangeError; in ioapic_decode_map_pin_to_vector()
132 current_syscall_error.rangeErrorMin = 0; in ioapic_decode_map_pin_to_vector()
133 current_syscall_error.rangeErrorMax = 1; in ioapic_decode_map_pin_to_vector()
138 current_syscall_error.type = seL4_RangeError; in ioapic_decode_map_pin_to_vector()
139 current_syscall_error.rangeErrorMin = 0; in ioapic_decode_map_pin_to_vector()
[all …]
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1825 current_syscall_error.invalidCapNumber = 0; in decodeARMPageUpperDirectoryInvocation()
1834 current_syscall_error.invalidCapNumber = 1; in decodeARMPageUpperDirectoryInvocation()
1856 current_syscall_error.invalidCapNumber = 1; in decodeARMPageUpperDirectoryInvocation()
1863 current_syscall_error.type = seL4_DeleteFirst; in decodeARMPageUpperDirectoryInvocation()
1912 current_syscall_error.invalidCapNumber = 0; in decodeARMPageDirectoryInvocation()
1921 current_syscall_error.invalidCapNumber = 1; in decodeARMPageDirectoryInvocation()
1943 current_syscall_error.invalidCapNumber = 1; in decodeARMPageDirectoryInvocation()
1957 current_syscall_error.type = seL4_DeleteFirst; in decodeARMPageDirectoryInvocation()
2004 current_syscall_error.invalidCapNumber = 0; in decodeARMPageTableInvocation()
2013 current_syscall_error.invalidCapNumber = 1; in decodeARMPageTableInvocation()
[all …]
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 716 current_syscall_error.invalidCapNumber = 0; in decodeRISCVPageTableInvocation()
727 current_syscall_error.invalidCapNumber = 1; in decodeRISCVPageTableInvocation()
738 current_syscall_error.invalidArgumentNumber = 0; in decodeRISCVPageTableInvocation()
746 current_syscall_error.type = seL4_FailedLookup; in decodeRISCVPageTableInvocation()
754 current_syscall_error.invalidCapNumber = 1; in decodeRISCVPageTableInvocation()
765 current_syscall_error.type = seL4_DeleteFirst; in decodeRISCVPageTableInvocation()
817 current_syscall_error.invalidCapNumber = 1; in decodeRISCVFrameInvocation()
835 current_syscall_error.invalidCapNumber = 1; in decodeRISCVFrameInvocation()
984 current_syscall_error.invalidCapNumber = 1; in decodeRISCVMMUInvocation()
1037 current_syscall_error.invalidCapNumber = 1; in decodeRISCVMMUInvocation()
[all …]
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 16 current_syscall_error.type = seL4_RangeError; in Arch_checkIRQ()
17 current_syscall_error.rangeErrorMin = 1; in Arch_checkIRQ()
18 current_syscall_error.rangeErrorMax = maxIRQ; in Arch_checkIRQ()
38 current_syscall_error.type = seL4_TruncatedMessage; in Arch_decodeIRQControlInvocation()
44 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
62 current_syscall_error.type = seL4_RevokeFirst; in Arch_decodeIRQControlInvocation()
86 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1585 current_syscall_error.type =
1603 current_syscall_error.type =
1625 current_syscall_error.type =
1644 current_syscall_error.type =
1694 current_syscall_error.type =
2143 current_syscall_error.type =
2191 current_syscall_error.type =
2244 current_syscall_error.type =
2261 current_syscall_error.type =
2328 current_syscall_error.type =
[all …]
|
| /seL4-master/src/kernel/ |
| A D | cspace.c | 74 current_syscall_error.type = seL4_FailedLookup; in lookupSlotForCNodeOp()
75 current_syscall_error.failedLookupWasSource = isSource; in lookupSlotForCNodeOp()
82 current_syscall_error.type = seL4_RangeError; in lookupSlotForCNodeOp()
83 current_syscall_error.rangeErrorMin = 1; in lookupSlotForCNodeOp()
84 current_syscall_error.rangeErrorMax = wordBits; in lookupSlotForCNodeOp()
90 current_syscall_error.type = seL4_FailedLookup; in lookupSlotForCNodeOp()
91 current_syscall_error.failedLookupWasSource = isSource; in lookupSlotForCNodeOp()
98 current_syscall_error.type = seL4_FailedLookup; in lookupSlotForCNodeOp()
99 current_syscall_error.failedLookupWasSource = isSource; in lookupSlotForCNodeOp()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1177 current_syscall_error.invalidCapNumber = 0; in decodeX64PageDirectoryInvocation()
1188 current_syscall_error.invalidCapNumber = 1; in decodeX64PageDirectoryInvocation()
1208 current_syscall_error.type = seL4_FailedLookup; in decodeX64PageDirectoryInvocation()
1216 current_syscall_error.invalidCapNumber = 1; in decodeX64PageDirectoryInvocation()
1223 current_syscall_error.type = seL4_FailedLookup; in decodeX64PageDirectoryInvocation()
1233 current_syscall_error.type = seL4_DeleteFirst; in decodeX64PageDirectoryInvocation()
1341 current_syscall_error.invalidCapNumber = 0; in decodeX64PDPTInvocation()
1352 current_syscall_error.invalidCapNumber = 1; in decodeX64PDPTInvocation()
1380 current_syscall_error.invalidCapNumber = 1; in decodeX64PDPTInvocation()
1388 current_syscall_error.type = seL4_DeleteFirst; in decodeX64PDPTInvocation()
[all …]
|
| /seL4-master/include/arch/arm/arch/object/ |
| A D | interrupt.h | 57 current_syscall_error.type = seL4_RangeError; in Arch_checkIRQ()
58 current_syscall_error.rangeErrorMin = 0; in Arch_checkIRQ()
59 current_syscall_error.rangeErrorMax = maxIRQ; in Arch_checkIRQ()
|