Searched refs:save (Results 1 - 25 of 97) sorted by relevance

1234

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp2 Title: save_vec.cpp - The save vector holds temporary values that may move as
59 // and want to avoid overflowing the save vec. I've assumed that simply
60 // resetting the list doesn't actually destroy the entry on the save vec
68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */
86 static SaveVec save; variable
88 SaveVec *gSaveVec = &save;
H A Dx86assembly_masm64.S106 ; It is probably unnecessary to save the callee-save regs or load the ML regs.
113 push rbx ; Save callee-save registers
118 push rdi ; Callee save in Windows
119 push rsi ; Strictly, we should also save xmm6
157 ; It is probably unnecessary to save the FP state now.
184 sub rsp,32 ; Create Windows save area
H A Dx86assembly_masm32.S82 ; It is probably unnecessary to save the callee-save regs or load the ML regs.
87 push ebx ; Push callee-save registers
104 ; It is probably unnecessary to save the FP state now.
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dtraps.S464 # we got an interrupt from the kernel, call into c to save the irq number,
596 push %rcx # save NextIP
597 push %r11 # save RFLAGS
598 push %r15 # save R15 (message register)
599 push %r9 # save R9 (message register)
600 push %r8 # save R8 (message register)
601 push %r10 # save R10 (message register)
602 push %rdx # save RDX (syscall number)
609 push %rsi # save RSI (msgInfo register)
610 push %rdi # save RD
[all...]
/seL4-l4v-master/HOL4/src/proofman/
H A DHistory.sig15 val save : 'a history -> 'a history value
H A DManager.sml78 fun save (GOALSTACK s) = GOALSTACK(History.save s) function
79 | save (GOALTREE t) = GOALTREE(History.save t);
H A DproofManagerLib.sml50 fun save () = function
51 (the_proofs := Manager.hd_opr Manager.save (proofs());
H A DHistory.sml49 fun save (HISTORY{obj,past,orig,limit,save_points}) = function
H A DManager.sig22 val save : proof -> proof value
H A DproofManagerLib.sig28 val save : unit -> proof value
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Djedit_options.scala26 def save(): Unit
69 def save = string(opt_name) = Color_Value.print(button.getSelectedColor)
88 def save = bool(opt_name) = selected
98 def save =
H A Disabelle_options.scala35 for ((_, cs) <- components) cs.foreach(_.save())
H A Djedit_sessions.scala105 def save: Unit = options.string(jedit_logic_option) = selection.item.name
111 component.reactions += { case SelectionChanged(_) => component.save() }
H A Djedit_spell_checker.scala102 def save: Unit = PIDE.options.string(option_name) = selection.item.lang
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_options.scala26 def save(): Unit
69 def save = string(opt_name) = Color_Value.print(button.getSelectedColor)
88 def save = bool(opt_name) = selected
98 def save =
H A Disabelle_options.scala35 for ((_, cs) <- components) cs.foreach(_.save())
H A Djedit_sessions.scala105 def save: Unit = options.string(jedit_logic_option) = selection.item.name
111 component.reactions += { case SelectionChanged(_) => component.save() }
H A Djedit_spell_checker.scala102 def save: Unit = PIDE.options.string(option_name) = selection.item.lang
/seL4-l4v-master/HOL4/polyml/samplecode/ide/
H A Duse.sml24 function that saves the state and dependencies in ".save" and ".deps" files
33 and also save the state before each file we "use". *)
38 (* Get the root directory and save directory (typically .polysave). Do this once
41 Assume that the root directory is the parent of the save directory.
82 NONE => () (* Do nothing: we can't save it. *)
89 mkCanonical (joinBaseExt{ base = baseName, ext = SOME "save"})
93 (* Reset the save directory before we save so that it isn't set in the saved
94 state. That means that "use" won't save the state unless it's explicitly
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C251 if (S.proof != NULL && proof != NULL) S.proof->save(proof);
291 if (proof != NULL) compressed.save(proof);
296 if (proof != NULL) S.proof->save(proof);
298 } else if (proof != NULL) S.proof->save(proof);
H A DProof.h80 bool save (cchar* filename);
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A DfuncCall.sml42 (* Function calls in a caller-save style. *)
106 (* Convert a function body into its call-save format *)
108 fun save (wS, next_slot) exp = function
140 val t5 = save (s2, next_slot) t4
227 (* Process function calls in a caller-save style *)
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dspell_checker.scala159 private def save()
188 if (permanent) save()
191 else { save(); load() }
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dspell_checker.scala159 private def save()
188 if (permanent) save()
191 else { save(); load() }
/seL4-l4v-master/HOL4/src/1/
H A DboolLib.sml122 val (save, attrf, attrs) = let value
132 save(n,th) before app do_attr attrs

Completed in 137 milliseconds

1234