Searched refs:active (Results 26 - 50 of 63) sorted by relevance

123

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dmetis.sml389 val {active,waiting} = Resolution.default value
422 {active = active,
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml389 val {active,waiting} = Resolution.default value
422 {active = active,
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h682 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 Dvcpu.h682 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 Dvcpu.h682 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 Dgic_v2.h60 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 Dhol-mode.tex43 \emph{prefix argument}, or if in transient mark mode with an active
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DIntSet.sml19 for active register sets. *)
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMESSAGE.signature.sml245 | 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 DMessage.sml1049 | 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 Drendering.scala22 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 Dsession.scala323 val active =
326 if (active) delay.invoke()
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Drendering.scala22 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 Dsession.scala323 val active =
326 if (active) delay.invoke()
/seL4-l4v-master/HOL4/src/metis/
H A DmlibRewrite.sml250 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 DProcessMultiplexor.sml356 val active = value
382 List.foldl foldthis ((cmds,wl), []) active
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h581 static inline void armv_vcpu_save(vcpu_t *vcpu, UNUSED bool_t active) argument
/seL4-l4v-master/HOL4/src/res_quan/Manual/
H A Dsummacs.tex77 %\def\makeulactive{\catcode`\_=\active\relax}
/seL4-l4v-master/HOL4/examples/RL_Environment/
H A DRL_Environment.sml152 val sock: Socket.active INetSock.stream_sock =
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Dprotocol.tex74 active. But the protocol was widely believed~\cite{ban89} to satisfy a
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Dprotocol.tex74 active. But the protocol was widely believed~\cite{ban89} to satisfy a
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Disabelle_cronjob.scala166 active: Boolean = true)
560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Disabelle_cronjob.scala166 active: Boolean = true)
560 PAR(remote_builds.map(_.filter(_.active)).map(seq =>
/seL4-l4v-master/seL4/manual/parts/
H A Dthreads.tex120 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 Djedit_rendering.scala277 /* active elements */
279 def active(range: Text.Range): Option[Text.Info[XML.Elem]] =

Completed in 231 milliseconds

123