Searched refs:fail (Results 26 - 50 of 79) sorted by relevance

1234

/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h140 fail("ARM/HYP: Invalid register index or NULL VCPU");
156 fail("ARM/HYP: Invalid register index or NULL VCPU");
172 fail("ARM/HYP: Invalid register index or NULL VCPU");
181 fail("ARM/HYP: Invalid register index or NULL VCPU");
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h115 fail("Invalid page size");
/seL4-test-master/projects/musllibc/
H A Dconfigure60 fail () { echo "$*" ; exit 1 ; } function
201 abs_builddir="$(pwd)" || fail "$0: cannot determine working directory"
202 abs_srcdir="$(cd $srcdir && pwd)" || fail "$0: invalid source directory $srcdir"
204 test "$srcdir" != "." -a -f Makefile -a ! -h Makefile && fail "$0: Makefile already exists in the working directory"
214 test "$i" -gt 50 && fail "$0: cannot create temporary file $tmpc"
289 fail "$0: could not find an appropriate toolchain wrapper"
330 unknown) fail "$0: unable to detect target arch; try $0 --target=..." ;;
331 *) fail "$0: unknown or unsupported target \"$target\"" ;;
646 trycppif "__NO_FPRS__ && !_SOFT_FLOAT" "$t" && fail \
655 trycppif "_CALL_ELF == 2" "$t" || fail "
[all...]
/seL4-test-master/projects/musllibc/src/stdio/
H A Dfmemopen.c17 fail:
22 if (off < -base || off > (ssize_t)c->size-base) goto fail;
/seL4-test-master/projects/musllibc/src/thread/
H A Dpthread_create.c241 if (map == MAP_FAILED) goto fail;
245 goto fail;
249 if (map == MAP_FAILED) goto fail;
305 fail:
/seL4-test-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c308 goto fail;
318 goto fail;
326 goto fail;
341 fail:
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dsmp_sys.c126 fail("boot_node failed for some reason :(\n");
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dhardware.c70 fail("TSC frequency too high");
/seL4-test-master/
H A Dgriddle107 fail () { function
455 # When returning 1, be certain to issue a `fail` diagnostic.
473 fail "\"$FLAG\" only supports values of \"ON\" or \"OFF\""
550 fail "unrecognized configuration option \"$1\""
561 fail "configuration option \"$FLAG\" must be given a value"
/seL4-test-master/kernel/src/arch/riscv/smp/
H A Dipi.c49 fail("Invalid remote call");
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle107 fail () { function
455 # When returning 1, be certain to issue a `fail` diagnostic.
473 fail "\"$FLAG\" only supports values of \"ON\" or \"OFF\""
550 fail "unrecognized configuration option \"$1\""
561 fail "configuration option \"$FLAG\" must be given a value"
/seL4-test-master/kernel/include/api/
H A Ddebug.h113 fail("Unknown thread state");
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c49 fail("Invalid arch cap type");
189 fail("Invalid object type");
287 fail("Arch_createObject got an API type or invalid object type");
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h460 fail("ARM/HYP: Invalid register index");
521 fail("ARM/HYP: Invalid register index");
535 fail("Processor does not support a 40 bit PA");
538 fail("Processor does not support a 44 bit PA");
542 fail("Processor does not support 4KB");
/seL4-test-master/kernel/src/object/
H A Dobjecttype.c56 fail("Invalid object type");
148 fail("Invalid tcb state");
164 fail("finaliseCap: failed to finalise immediately.");
503 fail("Invalid cap type"); /* Sentinel for invalid enums */
582 fail("Invalid object type");
773 fail("Invalid cap type");
H A Dschedcontext.c20 fail("invalid cap type");
78 fail("invalid cap type");
/seL4-test-master/kernel/src/smp/
H A Dipi.c83 fail("Invalid IPI");
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c642 fail("Invalid arch cap type");
649 fail("Invalid page type");
656 fail("Invalid Page type");
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c111 fail("Invalid arch cap");
374 fail("Invalid object type");
532 fail("Arch_createObject got an API type or invalid object type");
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c115 fail("Invalid arch cap");
381 fail("Invalid object type");
470 fail("Arch_createObject got an API type or invalid object type");
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c215 fail("PPI can't have designated target core\n");
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h189 fail("syscall not supported on ia32");
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h137 fail("Invalid arch cap type");
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Ddwc_eth_qos.c847 goto fail;
856 goto fail;
860 goto fail;
869 goto fail;
873 goto fail;
879 fail:
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c83 fail("Invalid VM rights");
103 fail("Invalid VM rights");
122 fail("Invalid VM rights");
894 fail("Invalid PTE frame type");
950 fail("Invalid PTE frame type");
982 fail("Invalid PDE frame type");
1323 fail("Invalid VM fault type");
1503 fail("Invalid ARM page type");
1705 fail("Invalid or unexpected ARM page type.");
1786 fail("Invali
[all...]

Completed in 240 milliseconds

1234