Lines Matching refs:current_syscall_error
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()
121 current_syscall_error.rangeErrorMin = MIN_BUDGET_US; in decodeSchedControl_ConfigureFlags()
122 current_syscall_error.rangeErrorMax = MAX_PERIOD_US; in decodeSchedControl_ConfigureFlags()
128 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
129 current_syscall_error.rangeErrorMin = MIN_BUDGET_US; in decodeSchedControl_ConfigureFlags()
130 current_syscall_error.rangeErrorMax = MAX_PERIOD_US; in decodeSchedControl_ConfigureFlags()
136 current_syscall_error.type = seL4_RangeError; in decodeSchedControl_ConfigureFlags()
137 current_syscall_error.rangeErrorMin = MIN_BUDGET_US; 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()
145 current_syscall_error.rangeErrorMax = refill_absolute_max(targetCap) - MIN_REFILLS; in decodeSchedControl_ConfigureFlags()
148 current_syscall_error.rangeErrorMax); in decodeSchedControl_ConfigureFlags()
169 current_syscall_error.type = seL4_IllegalOperation; in decodeSchedControlInvocation()