Searched refs:abort (Results 1 - 25 of 61) sorted by relevance

123

/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Dabort.h9 void abort(void);
/seL4-refos-master/tools/elfloader/include/
H A Dabort.h9 void abort(void);
/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Ddefaults.c13 void __attribute__((weak)) abort(void) function
15 printf("abort() called.\n");
H A Dcommon.c12 #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-refos-master/tools/elfloader/src/
H A Ddefaults.c13 void __attribute__((weak)) abort(void) function
15 printf("abort() called.\n");
H A Dcommon.c12 #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-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv6/32/
H A Dpsci.S12 b abort
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv6/32/
H A Dpsci.S12 b abort
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/
H A Ddebug.c7 #include <abort.h>
17 //* Check if the data exception is asynchronous external abort or
25 abort();
35 abort();
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Ddebug.c7 #include <abort.h>
20 abort();
30 abort();
H A Dmmu.c13 #include <abort.h>
46 abort();
/seL4-refos-master/tools/elfloader/src/arch-arm/32/
H A Ddebug.c7 #include <abort.h>
17 //* Check if the data exception is asynchronous external abort or
25 abort();
35 abort();
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Ddebug.c7 #include <abort.h>
20 abort();
30 abort();
/seL4-refos-master/libs/libmuslc/src/exit/
H A Dabort.c7 _Noreturn void abort(void) function
H A Dassert.c8 abort();
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/
H A Dsys_boot.c14 #include <abort.h>
88 abort();
126 abort();
153 abort();
165 abort();
226 abort();
H A Dsmp_boot.c14 #include <abort.h>
60 abort();
82 abort();
110 abort();
/seL4-refos-master/tools/elfloader/src/arch-arm/
H A Dsys_boot.c14 #include <abort.h>
88 abort();
126 abort();
153 abort();
165 abort();
226 abort();
H A Dsmp_boot.c14 #include <abort.h>
60 abort();
82 abort();
110 abort();
/seL4-refos-master/libs/libsel4muslcsys/src/
H A Dsys_exit.c24 printf("seL4 root server abort()ed\n");
32 abort();
/seL4-refos-master/libs/libsel4utils/src/
H A Dstrerror.c14 #include <stdlib.h> /* For abort() */
68 abort();
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_exit.c24 printf("seL4 root server abort()ed\n");
32 abort();
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c14 #include <stdlib.h> /* For abort() */
68 abort();
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/
H A Dboot.c13 #include <abort.h>
87 abort();
106 abort();
170 abort();
/seL4-refos-master/tools/elfloader/src/arch-riscv/
H A Dboot.c13 #include <abort.h>
87 abort();
106 abort();
170 abort();

Completed in 113 milliseconds

123