FAQ

  • What is the meaning of the error codes for s3k syscall?

The definition of the error codes is in common/inc/s3k/types.h s3k_err_t

    • S3K_SUCCESS: no error
    • S3K_ERR_EMPTY
    • S3K_ERR_SRC_EMPTY
    • S3K_ERR_DST_OCCUPIED the target capability slot is used by another capability
    • S3K_ERR_INVALID_INDEX index in the process capability table outside the valid range
    • S3K_ERR_INVALID_DERIVATION the new capability requires more privileges of the parent capability, the parent capability has no free space, or trying to derive a memory capability when the parent capability has already PMP child
    • S3K_ERR_INVALID_MONITOR,
    • S3K_ERR_INVALID_PID process does not exist
    • S3K_ERR_INVALID_STATE currently not used 
    • S3K_ERR_INVALID_PMP 
    • S3K_ERR_INVALID_SLOT invalid PMP slot when activating a PMP capability
    • S3K_ERR_INVALID_SOCKET,
    • S3K_ERR_INVALID_SYSCALL,
    • S3K_ERR_INVALID_REGISTER Virtual of Physical register not available on this platform
    • S3K_ERR_INVALID_CAPABILITY,
    • S3K_ERR_NO_RECEIVER, no one is receiving on this socket
    • S3K_ERR_PREEMPTED while revoking a capability the process has been preempted
    • S3K_ERR_TIMEOUT the receiver has not replied before the end of the current minor frame
    • S3K_ERR_SUSPENDED