Searched refs:Stop (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drts_module.h35 virtual void Stop(void) {} function in class:RtsModule
H A Drts_module.cpp72 module_table[i]->Stop();
H A Dsighandler.cpp478 virtual void Stop(void);
563 void SigHandler::Stop(void) function in class:SigHandler
H A Dheapsizing.cpp911 virtual void Stop(void);
922 void HeapSizing::Stop()
H A Dprocesses.cpp189 virtual void Stop(void);
1783 /* Stop the timer */
2001 void Processes::Stop(void) function in class:Processes
2010 /* Stop the timer and profiling threads. */
H A Dnetwork.cpp2192 virtual void Stop(void);
2216 void Networking::Stop(void) function in class:Networking
/seL4-l4v-master/HOL4/examples/dev/Fact32/
H A DXor32.ml66 (* Stop zillions of warning messages that HOL variables of type ``:num`` *)
H A DFact32.ml106 (* Stop zillions of warning messages that HOL variables of type ``:num`` *)
/seL4-l4v-master/HOL4/examples/PSL/1.01/official-semantics/
H A DKripkeScript.sml65 * Stop ``S`` parsing to the S-combinator
/seL4-l4v-master/HOL4/examples/PSL/1.1/official-semantics/
H A DModelScript.sml56 (* Stop ``S`` parsing to the S-combinator *)
/seL4-l4v-master/HOL4/examples/dev/
H A DFact.ml97 (* Stop zillions of warning messages that HOL variables of type ``:num`` *)
/seL4-l4v-master/HOL4/polyml/basis/
H A DListPair.sml47 | zip (_, _) = [] (* Stop as soon as either list is exhausted. *)
H A DString.sml708 else (* Stop here. *) if res > maxOrd then NONE
/seL4-l4v-master/seL4/src/machine/
H A Dio.c286 * unspecified for other forms, do the same. Stop immediately
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dsession.scala197 private case object Stop
586 case Stop =>
711 if (was_ready) manager.send(Stop)
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dsession.scala197 private case object Stop
586 case Stop =>
711 if (was_ready) manager.send(Stop)
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DpreARMScript.sml748 (* Stop when a specific condition holds *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DpreARMScript.sml747 (* Stop when a specific condition holds *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DpreARMScript.sml739 (* Stop when a specific condition holds *)
/seL4-l4v-master/HOL4/examples/acl2/examples/
H A DfmapExample.sml17 clear_overloads_on "TC"; (* Stop TC R printing as TC^+ *)

Completed in 123 milliseconds