Searched refs:failure (Results 1 - 8 of 8) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4test/src/ |
H A D | testutil.c | 84 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 D | testutil.h | 78 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 D | api.tex | 192 \ipcbloc{IPCBuffer[1]} & Type of lookup failure\\ 193 \ipcbloc{IPCBuffer[2..]} & Lookup failure description as described in \autoref{sec:lookup_fail_desc}\\
|
H A D | ipc.tex | 192 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 D | cspace.tex | 473 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 D | io.tex | 93 The I/O port methods return error codes upon failure.
|
H A D | threads.tex | 391 Lookup failure description. As described in \autoref{sec:lookup_fail_desc} &
|
/seL4-test-master/tools/riscv-pk/ |
H A D | configure | 1892 # differences in whitespace do not lead to failure. 5770 as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
|
Completed in 128 milliseconds