Searched defs:failure (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/isabelle/src/Doc/Intro/document/
H A Dgetting.tex
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex
/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml97 val failure : status value
1108 and failure = RunCall.rtsCallFull0 "PolyProcessEnvFailureValue" () value

Completed in 53 milliseconds