Searched refs:fail (Results 51 - 75 of 79) sorted by relevance

1234

/seL4-test-master/tools/riscv-pk/scripts/
H A Dinstall-sh415 # Don't fail if two instances are running concurrently.
429 # Don't fail if two instances are running concurrently.
457 # If any of these fail, we abort the whole thing. If we want to
492 # reasons. In this case, the final cleanup might fail but the new
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h494 fail("ARM/HYP: Invalid register index");
632 fail("ARM/HYP: Invalid register index");
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h494 fail("ARM/HYP: Invalid register index");
632 fail("ARM/HYP: Invalid register index");
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h494 fail("ARM/HYP: Invalid register index");
632 fail("ARM/HYP: Invalid register index");
/seL4-test-master/kernel/src/api/
H A Dfaults.c70 fail("Invalid lookup failure");
H A Dsyscall.c505 fail("handleReply: invalid caller cap");
735 fail("Invalid syscall");
/seL4-test-master/kernel/src/arch/x86/object/
H A Dinterrupt.c187 fail("IRQControl: Illegal operation");
H A Diospace.c63 fail("Invalid cap type");
/seL4-test-master/kernel/src/object/
H A Dinterrupt.c251 fail("Invalid IRQ state");
H A Dnotification.c264 fail("tried to complete signal with inactive notification object");
H A Dcnode.c384 fail("caller capability must be null or reply");
605 fail("finaliseCap should only return Zombie or NullCap");
710 fail("Expected recursion to result in Zombie.");
H A Dendpoint.c459 fail("invalid EP state");
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c125 fail("Should not be called");
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c449 fail("Kernel init failed for some reason :(");
H A Dvspace.c436 fail("Invalid VM fault type");
1075 fail("Invalid arch cap type");
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c379 fail("PPI can't have designated target core\n");
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1429 fail("Invalid arch cap type");
1454 fail("Invalid page type");
1531 fail("Invalid Page type");
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c582 fail("Invalid VM fault type");
597 fail("Invalid VM rights");
612 fail("Invalid VM rights");
848 fail("Mapped frame cap was not mapped");
H A Dboot_sys.c725 fail("boot_sys failed for some reason :(\n");
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c607 fail("Kernel init failed for some reason :(");
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c166 fail("Invalid VM rights");
964 fail("Invalid VM fault type");
1389 fail("Invalid ARM page type");
1463 fail("Invalid operation, shouldn't get here.\n");
2429 fail("Invalid ARM arch cap type");
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex113 Trying to Send or Call without the Write right will fail and return an error. In
211 Hence, the \apifunc{seL4\_Recv}{sel4_recv} system call will not fail with an error if the
H A Dvspace.tex35 a mapping operation will fail. Developers need to manually create and map all paging structures.
/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c280 fail("TCB and VCPU not associated.");
/seL4-test-master/kernel/src/kernel/
H A Dthread.c65 fail("Current thread is blocked");

Completed in 289 milliseconds

1234