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

1234

/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c384 fail("Invalid cap type");
/seL4-test-master/kernel/manual/parts/
H A Dio.tex160 the IOMMU and the \apifunc{seL4\_CNode\_Mint}{cnode_mint} method will fail if an
H A Dthreads.tex371 invalid capabilities silently fail). In this case, the capability
/seL4-test-master/kernel/src/object/
H A Dtcb.c1680 /* cteDelete on a cap installed in the tcb cannot fail */
2082 fail("Invalid syscall error");

Completed in 225 milliseconds

1234