/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 389 val {active,waiting} = Resolution.default value 422 {active = active,
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 389 val {active,waiting} = Resolution.default value 422 {active = active,
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/ |
H A D | vcpu.h | 682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument 699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/ |
H A D | vcpu.h | 682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument 699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | vcpu.h | 682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument 699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
|
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/ |
H A D | gic_v2.h | 60 uint32_t active[32]; /* [0x300, 0x380) */ member in struct:gic_dist_map 175 * GIC has 4 states: pending->active(+pending)->inactive 176 * seL4 expects two states: active->inactive. 177 * We ignore the active state in GIC to conform 229 /* Active priority: bitfield of active priorities */
|
/seL4-l4v-master/HOL4/doc/hol-mode/ |
H A D | hol-mode.tex | 43 \emph{prefix argument}, or if in transient mark mode with an active
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | IntSet.sml | 19 for active register sets. *)
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | MESSAGE.signature.sml | 245 | WM_ACTIVATE of {active: WMActivateOptions, minimize: bool } 248 | WM_ACTIVATEAPP of {active: bool, threadid: int } 408 (* Indicates a menu is about to become active *) 452 (* Retrieves data about the active MDI child Window *) 500 | WM_NCACTIVATE of { active: bool } 501 (* Changes the active state of nonclient area *)
|
H A D | Message.sml | 1049 | WM_ACTIVATE of {active: WMActivateOptions, minimize: bool } 1052 | WM_ACTIVATEAPP of {active: bool, threadid: int } 1212 (* Indicates a menu is about to become active *) 1256 (* Retrieves data about the active MDI child Window *) 1304 | WM_NCACTIVATE of { active: bool } 1305 (* Changes the active state of nonclient area *) 1868 WM_ACTIVATE { active = toWMactive (LOWORD wp32), minimize = HIWORD wp32 <> 0w0 } 1906 | decompileMessage ( 0x001C, wp, lp) = WM_ACTIVATEAPP { active = wp <> 0w0, threadid = SysWord.toInt lp } (* "0x001C" *) 2043 | decompileMessage ( 0x0086, wp, _) = WM_NCACTIVATE { active = wp <> 0w0 } (* "0x0086" *) 2642 | compileMessage (WM_ACTIVATE {active, minimiz [all...] |
/seL4-l4v-master/isabelle/src/Pure/PIDE/ |
H A D | rendering.scala | 22 val unprocessed1, running1, canceled, bad, intensify, entity, active, active_result, 438 Some((Nil, Some(Rendering.Color.active))) 442 Some((Nil, Some(Rendering.Color.active)))
|
H A D | session.scala | 323 val active = 326 if (active) delay.invoke()
|
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/ |
H A D | rendering.scala | 22 val unprocessed1, running1, canceled, bad, intensify, entity, active, active_result, 438 Some((Nil, Some(Rendering.Color.active))) 442 Some((Nil, Some(Rendering.Color.active)))
|
H A D | session.scala | 323 val active = 326 if (active) delay.invoke()
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibRewrite.sml | 250 val active = ort = SOME LtoR orelse ort = SOME RtoL value 252 if active then rewr_neqs [(ort,neq')] other_neqs th
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | ProcessMultiplexor.sml | 356 val active = value 382 List.foldl foldthis ((cmds,wl), []) active
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | vcpu.h | 581 static inline void armv_vcpu_save(vcpu_t *vcpu, UNUSED bool_t active) argument
|
/seL4-l4v-master/HOL4/src/res_quan/Manual/ |
H A D | summacs.tex | 77 %\def\makeulactive{\catcode`\_=\active\relax}
|
/seL4-l4v-master/HOL4/examples/RL_Environment/ |
H A D | RL_Environment.sml | 152 val sock: Socket.active INetSock.stream_sock =
|
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/ |
H A D | protocol.tex | 74 active. But the protocol was widely believed~\cite{ban89} to satisfy a
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | protocol.tex | 74 active. But the protocol was widely believed~\cite{ban89} to satisfy a
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 166 active: Boolean = true) 560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 166 active: Boolean = true) 560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
|
/seL4-l4v-master/seL4/manual/parts/ |
H A D | threads.tex | 120 referred to as \emph{active}. Budget charging and replenishment rules are different for round-robin 182 the scheduling context is active, it will be added to the scheduler. 216 communicate with a passive thread. When an active thread invokes an endpoint with 217 \apifunc{seL4\_Call}{sel4_call} and rendezvous with a passive thread, the active thread's scheduling 260 Threads are only eligible for scheduling if they have an active scheduling context. 608 is active.
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_rendering.scala | 277 /* active elements */ 279 def active(range: Text.Range): Option[Text.Info[XML.Elem]] =
|