include/camkes/error.h

28     /* No error occurred. Used to indicate normal operation. */
33      * of such an error *will* cause an out-of-bounds memory write.
58      * error was triggered.
69 /* Tagged union representing data about an error itself. */
71     /* The type of the error. This tag determines which member of the union
76     /* The component instance in which this error occurred. This will probably
83     /* The interface in which this error occurred. If this error occurred in a
88     /* The source code position at which the error occurred. Useful if you are
119             /* The value that caused this error. */
141             /* The error value returned by seL4. */
142             int error;
155 /* The action to take to recover from an error. An error handler, as described
162      * return this from an error handler.
170      * expected to be aware (by some out-of-band communication) that an error
175     /* Ignore the error and continue. This is generally dangerous and not what
188      * it is possible to stop the system. If you have no error handlers
195 /* An error handling function. If components define their own error handlers,
196  * they should conform to this prototype. The argument is the error that
202 /* Register a component-global error handler. More fine-grained registration
204  * header. Errors that occur in interface glue code will only invoke this error
205  * handler if no error handler is registered for the interface itself. This
211 /* Throw an error from glue code. This function is not expected to be called by
228 /* Convenience macro for throwing an error from glue code.
230  *  edata - Error structure to throw to the error handler.
231  *  action - Action to take on return of CEA_DISCARD from the error
272 #error no error handling mode defined
282 /* Conditionally throw an error. */