Searched refs:failure (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c84 void _sel4test_failure(const char *failure, const char *file, int line) argument
87 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file);
89 printf("\tFailure: %s at line %d of file %s\n", failure, line, file);
94 void _sel4test_abort(const char *failure, const char *file, int line) argument
97 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\
[all...]
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtestutil.h78 void _sel4test_failure(const char *failure, const char *file, int line);
84 void _sel4test_abort(const char *failure, const char *file, int line);
/seL4-test-master/kernel/manual/parts/
H A Dapi.tex192 \ipcbloc{IPCBuffer[1]} & Type of lookup failure\\
193 \ipcbloc{IPCBuffer[2..]} & Lookup failure description as described in \autoref{sec:lookup_fail_desc}\\
H A Dipc.tex192 a lookup failure error as described in \autoref{sec:errors}.
221 prematurely. The capabilities processed before the failure are still
223 buffer is set to the number of capabilities transferred up to failure.
H A Dcspace.tex473 When a capability lookup fails, a description of the failure is given
478 indicates the type of lookup failure and the meaning of later words
H A Dio.tex93 The I/O port methods return error codes upon failure.
H A Dthreads.tex391 Lookup failure description. As described in \autoref{sec:lookup_fail_desc} &
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1892 # differences in whitespace do not lead to failure.
5770 as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5

Completed in 128 milliseconds