Searched refs:ctrl (Results 1 - 14 of 14) sorted by relevance
| /seL4-l4v-master/l4v/spec/haskell/include/ |
| H A D | mptimer.h | 12 uint32_t ctrl; member in struct:mp_priv_timer
|
| /seL4-l4v-master/seL4/src/drivers/timer/ |
| H A D | priv_timer.c | 28 priv_timer->ctrl = 0;
33 priv_timer->ctrl |= ((PRESCALE) << (TMR_CTRL_PRESCALE))
37 priv_timer->ctrl |= TMR_CTRL_ENABLE;
|
| /seL4-l4v-master/seL4/include/drivers/timer/ |
| H A D | arm_priv.h | 15 uint32_t ctrl; member in struct:timer
|
| /seL4-l4v-master/HOL4/examples/STE/Examples/ |
| H A D | Mux.sml | 21 else if (node = "ctrl") then X
26 (And (s "a0")(s "ctrl"))
27 (And (s "b0")(Not(s "ctrl")))
32 (And (s "a1")(s "ctrl"))
33 (And (s "b1")(Not(s "ctrl")))
40 if (s_b "ctrl") then
44 if (s_b "ctrl") then
116 THEN FIRST_ASSUM(STRIP_ASSUME_TAC o SPEC ``"ctrl"``)
120 THEN Cases_on `s "ctrl"` THEN Cases_on `s' "ctrl"`
145 val ctrl = (T, "ctrl", T, 0, 1); value
169 val ctrl = (T, "ctrl", T, 0, 1); value
192 val ctrl = (T, "ctrl", ``ctrl:bool``, 0, 1); value
[all...] |
| /seL4-l4v-master/isabelle/src/Pure/Thy/ |
| H A D | html.scala | 70 var ctrl = ""
72 if (is_control(sym)) { output_symbol(ctrl); ctrl = sym }
74 control.get(ctrl) match {
76 output_hidden(output_symbol(ctrl))
81 output_symbol(ctrl)
84 ctrl = ""
87 output_symbol(ctrl)
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
| H A D | html.scala | 70 var ctrl = ""
72 if (is_control(sym)) { output_symbol(ctrl); ctrl = sym }
74 control.get(ctrl) match {
76 output_hidden(output_symbol(ctrl))
81 output_symbol(ctrl)
84 ctrl = ""
87 output_symbol(ctrl)
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | reals.cpp | 785 fpu_control_t ctrl;
786 _FPU_GETCW(ctrl);
787 switch (ctrl & _FPU_RC_ZERO)
799 fpu_control_t ctrl;
800 _FPU_GETCW(ctrl);
801 ctrl &= ~_FPU_RC_ZERO; /* Mask off any existing rounding. */
804 case POLY_ROUND_TONEAREST: ctrl |= _FPU_RC_NEAREST;
805 case POLY_ROUND_DOWNWARD: ctrl |= _FPU_RC_DOWN;
806 case POLY_ROUND_UPWARD: ctrl |= _FPU_RC_UP;
807 case POLY_ROUND_TOZERO: ctrl |
[all...] |
| /seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
| H A D | alu.sml | 18 (* ctrl = op selection *)
104 val ctrlvars = ["stall","stall_ex","stall_wb","ctrl","ctrl_ex"];
144 @ [(``stall_ex':bool = stall:bool``),(``stall_wb':bool=stall_ex:bool``), (``ctrl_ex':bool=ctrl:bool``)])
164 val bw_ctl_alu_op_defs = map (fn (x,y) => ((alu_AP ("ctrl")) C_AND (x C_OR y)) C_OR ((C_NOT(alu_AP ("ctrl"))) C_AND
192 val ctrlv = ["ctrl","ctrl'","ctrl_ex","ctrl_ex'"];
|
| /seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphBrowser.java | 79 char ctrl;
101 ctrl = text2[i+1];
|
| /seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphBrowser.java | 79 char ctrl;
101 ctrl = text2[i+1];
|
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | arm_rulesScript.sml | 646 (cntxt [``Abbrev ((R,flags,ctrl) = DECODE_PSRD psrd) /\
656 (if ctrl /\ ~USER mode then src ' i else b)))``]
|
| /seL4-l4v-master/HOL4/examples/ARM/arm6-verification/correctness/ |
| H A D | correctScript.sml | 878 \\ REPEAT (PAT_X_ASSUM `Abbrev (q = NEXT_ARM6 (ARM6 dp ctrl) input)` MP_TAC
937 \\ REPEAT (PAT_X_ASSUM `Abbrev (q = NEXT_ARM6 (ARM6 dp ctrl) input)` MP_TAC
997 \\ REPEAT (PAT_X_ASSUM `Abbrev (q = NEXT_ARM6 (ARM6 dp ctrl) input)` MP_TAC
1187 fun tac ss = PAT_X_ASSUM `Abbrev (q = NEXT_ARM6 (ARM6 dp ctrl) input)` MP_TAC
1651 PAT_X_ASSUM `Abbrev (q = NEXT_ARM6 (ARM6 dp ctrl) input)` MP_TAC
|
| /seL4-l4v-master/HOL4/examples/ARM/arm6-verification/ |
| H A D | coreScript.sml | 29 `ctrl = CTRL of word32=>bool=>word32=>bool=>word32=>bool=>bool=>bool=>
35 val _ = Hol_datatype `state_arm6 = ARM6 of dp=>ctrl`;
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | BasicStreamIO.sml | 511 we get an asynchronous interrupt (ctrl-C) we want to
|
Completed in 171 milliseconds