Lines Matching refs:current_syscall_error
43 current_syscall_error.type = seL4_RangeError; in checkPrio()
44 current_syscall_error.rangeErrorMin = seL4_MinPrio; in checkPrio()
45 current_syscall_error.rangeErrorMax = mcp; in checkPrio()
502 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetAffinity()
511 current_syscall_error.type = seL4_IllegalOperation; in decodeSetAffinity()
552 current_syscall_error = syserr; in decodeConfigureSingleStepping()
590 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
591 current_syscall_error.invalidArgumentNumber = 1; in decodeSetBreakpoint()
597 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
598 current_syscall_error.invalidArgumentNumber = 2; in decodeSetBreakpoint()
603 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
604 current_syscall_error.invalidArgumentNumber = 3; in decodeSetBreakpoint()
609 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
610 current_syscall_error.invalidArgumentNumber = 4; in decodeSetBreakpoint()
616 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
617 current_syscall_error.invalidArgumentNumber = 2; in decodeSetBreakpoint()
623 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
624 current_syscall_error.invalidArgumentNumber = 3; in decodeSetBreakpoint()
629 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
630 current_syscall_error.invalidArgumentNumber = 2; in decodeSetBreakpoint()
636 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
637 current_syscall_error.invalidArgumentNumber = 2; in decodeSetBreakpoint()
644 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
645 current_syscall_error.invalidArgumentNumber = 3; in decodeSetBreakpoint()
650 current_syscall_error.type = seL4_InvalidArgument; in decodeSetBreakpoint()
651 current_syscall_error.invalidArgumentNumber = 3; in decodeSetBreakpoint()
671 current_syscall_error.type = seL4_AlignmentError; in decodeSetBreakpoint()
677 current_syscall_error = error; in decodeSetBreakpoint()
710 current_syscall_error = error; in decodeGetBreakpoint()
737 current_syscall_error = error; in decodeUnsetBreakpoint()
764 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetTLSBase()
870 current_syscall_error.type = seL4_IllegalOperation; in decodeTCBInvocation()
891 current_syscall_error.type = seL4_TruncatedMessage; in decodeCopyRegisters()
905 current_syscall_error.type = seL4_InvalidCapability; in decodeCopyRegisters()
906 current_syscall_error.invalidCapNumber = 1; in decodeCopyRegisters()
933 current_syscall_error.type = seL4_TruncatedMessage; in decodeReadRegisters()
943 current_syscall_error.type = seL4_RangeError; in decodeReadRegisters()
944 current_syscall_error.rangeErrorMin = 1; in decodeReadRegisters()
945 current_syscall_error.rangeErrorMax = n_frameRegisters + in decodeReadRegisters()
955 current_syscall_error.type = seL4_IllegalOperation; in decodeReadRegisters()
978 current_syscall_error.type = seL4_TruncatedMessage; in decodeWriteRegisters()
988 current_syscall_error.type = seL4_TruncatedMessage; in decodeWriteRegisters()
997 current_syscall_error.type = seL4_IllegalOperation; in decodeWriteRegisters()
1015 current_syscall_error.type = seL4_InvalidCapability; in validFaultHandler()
1023 current_syscall_error.type = seL4_InvalidCapability; in validFaultHandler()
1046 current_syscall_error.type = seL4_TruncatedMessage; in decodeTCBConfigure()
1088 current_syscall_error.type = seL4_IllegalOperation; in decodeTCBConfigure()
1104 current_syscall_error.type = seL4_IllegalOperation; in decodeTCBConfigure()
1120 current_syscall_error.type = seL4_IllegalOperation; in decodeTCBConfigure()
1151 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetPriority()
1160 current_syscall_error.type = seL4_InvalidCapability; in decodeSetPriority()
1161 current_syscall_error.invalidCapNumber = 1; in decodeSetPriority()
1195 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetMCPriority()
1204 current_syscall_error.type = seL4_InvalidCapability; in decodeSetMCPriority()
1205 current_syscall_error.invalidCapNumber = 1; in decodeSetMCPriority()
1249 current_syscall_error.invalidCapNumber = 1; in decodeSetTimeoutEndpoint()
1277 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetSchedParams()
1292 current_syscall_error.type = seL4_InvalidCapability; in decodeSetSchedParams()
1293 current_syscall_error.invalidCapNumber = 1; in decodeSetSchedParams()
1320 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSchedParams()
1325 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSchedParams()
1330 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSchedParams()
1337 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSchedParams()
1343 current_syscall_error.type = seL4_InvalidCapability; in decodeSetSchedParams()
1344 current_syscall_error.invalidCapNumber = 2; in decodeSetSchedParams()
1350 current_syscall_error.type = seL4_InvalidCapability; in decodeSetSchedParams()
1351 current_syscall_error.invalidCapNumber = 3; in decodeSetSchedParams()
1387 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetIPCBuffer()
1453 current_syscall_error.type = seL4_TruncatedMessage; in decodeSetSpace()
1483 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSpace()
1499 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSpace()
1515 current_syscall_error.type = seL4_IllegalOperation; in decodeSetSpace()
1523 current_syscall_error.invalidCapNumber = 1; in decodeSetSpace()
1554 current_syscall_error.type = seL4_IllegalOperation; in decodeDomainInvocation()
1560 current_syscall_error.type = seL4_TruncatedMessage; in decodeDomainInvocation()
1567 current_syscall_error.type = seL4_InvalidArgument; in decodeDomainInvocation()
1568 current_syscall_error.invalidArgumentNumber = 0; in decodeDomainInvocation()
1575 current_syscall_error.type = seL4_TruncatedMessage; in decodeDomainInvocation()
1582 current_syscall_error.type = seL4_InvalidArgument; in decodeDomainInvocation()
1583 current_syscall_error.invalidArgumentNumber = 1; in decodeDomainInvocation()
1600 current_syscall_error.type = seL4_TruncatedMessage; in decodeBindNotification()
1608 current_syscall_error.type = seL4_IllegalOperation; in decodeBindNotification()
1618 current_syscall_error.type = seL4_IllegalOperation; in decodeBindNotification()
1624 current_syscall_error.type = seL4_IllegalOperation; in decodeBindNotification()
1631 current_syscall_error.type = seL4_IllegalOperation; in decodeBindNotification()
1648 current_syscall_error.type = seL4_IllegalOperation; in decodeUnbindNotification()
2047 switch (current_syscall_error.type) { in setMRs_syscall_error()
2050 current_syscall_error.invalidArgumentNumber); in setMRs_syscall_error()
2054 current_syscall_error.invalidCapNumber); in setMRs_syscall_error()
2061 current_syscall_error.rangeErrorMin); in setMRs_syscall_error()
2063 current_syscall_error.rangeErrorMax); in setMRs_syscall_error()
2070 current_syscall_error.failedLookupWasSource ? 1 : 0); in setMRs_syscall_error()
2080 current_syscall_error.memoryLeft); in setMRs_syscall_error()