Searched refs:abort (Results 26 - 47 of 47) sorted by relevance

12

/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dstring.c9 #include <abort.h>
166 abort();
/seL4-camkes-master/projects/util_libs/liblwip/include/lwip/arch/
H A Dcc.h70 abort(); \
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/
H A Ddriver.c48 abort();
/seL4-camkes-master/tools/rumprun/tests/basic/
H A Dpthread_test.c39 abort();
154 abort();
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/
H A Dvesadriver.c200 abort();
205 abort();
/seL4-camkes-master/projects/picotcp/test/
H A Dpico_faulty.h80 abort();
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dxenbus.h105 fails. abort says whether the transaction should be aborted.
107 char *xenbus_transaction_end(xenbus_transaction_t, int abort,
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dcrt0.S93 b abort // should never get here!
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dalloc.c138 abort(); \
/seL4-camkes-master/projects/musllibc/include/
H A Dstdlib.h44 _Noreturn void abort (void);
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Darch.h87 * Note the default implementation pulls in printf, fflush and abort, which may
93 x, __LINE__, __FILE__); fflush(NULL); abort();} while(0)
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/
H A Daltcp_priv.h98 altcp_abort_fn abort; member in struct:altcp_functions
/seL4-camkes-master/projects/lwip/src/core/
H A Daltcp.c344 if (conn && conn->fns && conn->fns->abort) {
345 conn->fns->abort(conn);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c270 abort();
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c68 abort(); \
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_6lowpan.c1401 char *abort = NULL; local
1410 fprintf(stderr, "ping needs the following format: ping:dst_addr:[size:[abort after N sec:[wait N sec before start]]]\n");
1422 next = cpy_arg(&abort, next);
1423 if (strlen(abort) > 0) {
1424 printf("Got arg: '%s'\n", abort);
1425 timeout = atoi(abort);
1427 fprintf(stderr, "ping needs the following format: ping:dst_addr:[size:[abort after N sec:[wait N sec before start]]]\n");
1452 printf("Adding abort timer after %d seconds for id %d\n", timeout, id);
1454 printf("Failed to set ping abort timeout, aborting ping\n");
1464 if (abort)
[all...]
/seL4-camkes-master/projects/util_libs/libutils/src/
H A Dzf_log.c256 abort();
/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/
H A Dxenbus.c790 xenbus_transaction_end(xenbus_transaction_t t, int abort, int *retry) argument
798 req.data = abort ? "F" : "T";
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_ipv4.tex533 \subsection{pico$\_$icmp4$\_$ping$\_$abort}
H A Dchap_api_tftp.tex20 In case of problem the session can be aborted (and an error message is sent to the remote side) using pico$\_$tftp$\_$abort.
584 \item \texttt{session} - the session handler related to the session to abort.
/seL4-camkes-master/kernel/manual/parts/
H A Dipc.tex190 reason, \apifunc{seL4\_Send}{sel4_send} and \apifunc{seL4\_Call}{sel4_call} system calls immediately abort and
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c1466 abort();

Completed in 228 milliseconds

12