Searched refs:fail (Results 1 - 25 of 79) sorted by relevance

1234

/seL4-test-master/tools/seL4/misc/
H A Dcpio-strip.c66 goto fail;
74 goto fail;
79 goto fail;
83 goto fail;
91 goto fail;
98 goto fail;
109 goto fail;
136 fail:
/seL4-test-master/projects/musllibc/src/misc/
H A Dopenpty.c21 goto fail;
26 goto fail;
36 fail:
/seL4-test-master/kernel/include/
H A Dassert.h21 #define fail(s) _fail(s, __FILE__, __LINE__, __func__) macro
35 #define fail(s) halt() macro
/seL4-test-master/kernel/src/arch/x86/32/smp/
H A Dipi.c28 fail("Invalid remote call");
/seL4-test-master/kernel/src/arch/x86/64/smp/
H A Dipi.c25 fail("Invalid remote call");
/seL4-test-master/projects/musllibc/src/thread/
H A Dsem_open.c76 goto fail;
88 goto fail;
94 goto fail;
97 goto fail;
106 goto fail;
117 goto fail;
123 goto fail;
134 goto fail;
155 fail:
/seL4-test-master/tools/riscv-pk/pk/
H A Delf.c30 goto fail;
37 goto fail;
51 goto fail;
54 goto fail;
82 goto fail;
86 goto fail;
90 goto fail;
97 fail:
/seL4-test-master/kernel/src/arch/riscv/api/
H A Dfaults.c27 fail("Invalid fault");
44 fail("Invalid fault");
/seL4-test-master/projects/musllibc/src/stdio/
H A Dfreopen.c28 goto fail;
31 if (!f2) goto fail;
49 fail:
H A Dpopen.c45 goto fail;
67 fail:
H A Dopen_memstream.c20 fail:
25 if (off < -base || off > SSIZE_MAX-base) goto fail;
H A Dopen_wmemstream.c22 fail:
27 if (off < -base || off > SSIZE_MAX/4-base) goto fail;
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h54 fail("Invalid page size");
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h101 fail("Invalid arch cap type");
107 fail("Invalid mode cap type");
112 fail("Invalid mode cap type");
117 fail("Invalid mode cap type");
/seL4-test-master/kernel/src/arch/arm/api/
H A Dfaults.c29 fail("Invalid fault");
68 fail("Invalid fault");
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h67 fail("Invalid page size");
89 fail("Invalid page size");
/seL4-test-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c49 fail("Invalid arch cap type");
107 fail("No mapping type for mapped cap");
114 fail("Invalid arch cap type");
129 fail("Invalid object type");
189 fail("Mode_createObject got an API type or invalid object type");
/seL4-test-master/projects/musllibc/src/process/
H A Dposix_spawn.c78 goto fail;
86 goto fail;
99 if (ret < 0) goto fail;
109 goto fail;
113 if ((ret=fd) < 0) goto fail;
116 goto fail;
126 * it would fail on older kernels and atomicity is not needed --
136 fail:
/seL4-test-master/kernel/src/arch/x86/api/
H A Dfaults.c20 fail("Invalid fault");
37 fail("Invalid fault");
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c190 goto fail;
198 goto fail;
208 goto fail;
217 goto fail;
233 goto fail;
243 goto fail;
252 fail:
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c73 fail("Invalid arch cap type");
129 fail("Invalid map type");
135 fail("Invalid arch cap type");
175 fail("Invalid object type");
313 fail("Arch_createObject got an API type or invalid object type");
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage27 fail () { function
83 fail "expected 4 arguments, got $#: \"$*\""
94 # mkimage fail if $OUTPUT is not writable.
/seL4-test-master/projects/util_libs/libfdt/
H A Dfdt_ro.c88 goto fail;
92 goto fail;
97 goto fail;
100 goto fail;
107 goto fail;
112 goto fail;
120 goto fail;
127 fail:
318 goto fail;
332 goto fail;
[all...]
/seL4-test-master/kernel/src/arch/arm/smp/
H A Dipi.c72 fail("Invalid remote call");
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h131 fail("Invalid page size");

Completed in 116 milliseconds

1234