Searched refs:abort (Results 1 - 25 of 47) sorted by relevance
12
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
| H A D | abort.h | 9 void abort(void);
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/ |
| H A D | defaults.c | 13 void __attribute__((weak)) abort(void) function
15 printf("abort() called.\n");
|
| H A D | common.c | 12 #include <abort.h>
62 * We abort if the destination physical range overlaps us, or if it
74 abort();
142 abort();
149 abort();
163 abort();
191 abort();
206 abort();
212 abort();
303 abort();
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv6/32/ |
| H A D | psci.S | 12 b abort
|
| H A D | mmu.S | 77 bl abort
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/ |
| H A D | debug.c | 7 #include <abort.h>
17 //* Check if the data exception is asynchronous external abort or
25 abort();
35 abort();
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/64/ |
| H A D | debug.c | 7 #include <abort.h>
20 abort();
30 abort();
|
| H A D | mmu.c | 13 #include <abort.h>
46 abort();
|
| H A D | crt0.S | 67 /* check: if (end < archive_start && end >= _start) { abort } */
77 /* check: if (dest < archive_start && dest >= _start) { abort } */
85 b abort
116 b abort // should never get here!
|
| /seL4-camkes-master/projects/musllibc/src/exit/ |
| H A D | abort.c | 7 _Noreturn void abort(void) function
|
| H A D | assert.c | 8 abort();
|
| /seL4-camkes-master/projects/camkes/apps/aeroplage/components/MockLinux/ |
| H A D | mocklinux.c | 20 abort();
25 abort();
|
| /seL4-camkes-master/projects/camkes/apps/aeroplage/components/Switch/ |
| H A D | switch.c | 29 abort();
34 abort();
39 abort();
|
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | ping.c | 59 char *abort = NULL; local
70 fprintf(stderr, "ping needs the following format: ping:dst_addr:[size:[abort after N sec:[wait N sec before start]]]\n");
84 next = cpy_arg(&abort, next);
85 if (strlen(abort) > 0) {
86 printf("Got arg: '%s'\n", abort);
87 timeout = atoi(abort);
89 fprintf(stderr, "ping needs the following format: ping:dst_addr:[size:[abort after N sec:[wait N sec before start]]]\n");
121 printf("Adding abort timer after %d seconds for id %d\n", timeout, id);
123 printf("Failed to set ping abort timeout, aborting ping\n");
133 if (abort)
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 14 #include <abort.h>
88 abort();
126 abort();
153 abort();
165 abort();
226 abort();
|
| H A D | smp_boot.c | 14 #include <abort.h>
60 abort();
82 abort();
110 abort();
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sys_exit.c | 35 abort();
|
| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_exit.c | 24 printf("seL4 root server abort()ed\n");
32 abort();
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | strerror.c | 14 #include <stdlib.h> /* For abort() */
68 abort();
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | kernel.c | 113 abort();
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 13 #include <abort.h>
87 abort();
106 abort();
170 abort();
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | error.h | 250 abort(); \
264 #define ERR(handler, edata, action) abort()
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/drivers/ |
| H A D | smp-zynq7000.c | 18 #include <abort.h>
40 abort();
|
| H A D | smp-imx6.c | 19 #include <abort.h>
36 abort();
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/imx7/ |
| H A D | smp.c | 15 #include <abort.h>
97 abort();
|
Completed in 140 milliseconds
12