Searched refs:saved (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/
H A Dobsd.S136 | Make room on the stack for saved register arguments and return
146 addu %r4, %r31, 0 | saved registers
186 | Make room on the stack for saved register arguments
195 addu %r4, %r31, 0 | saved registers
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A Dlibffi.exp392 if { [info procs saved-dg-test] == [list] } {
393 rename dg-test saved-dg-test
400 if { [ catch { eval saved-dg-test $args } errmsg ] } {
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp205 Handle saved = mdTaskData->saveVec.mark(); local
218 mdTaskData->saveVec.reset(saved);
235 Handle saved = mdTaskData->saveVec.mark(); local
254 mdTaskData->saveVec.reset(saved);
H A Dprofiling.cpp77 "Loading saved state",
323 Handle saved = taskData->saveVec.mark(); local
336 taskData->saveVec.reset(saved);
H A Drun_time.cpp283 Handle saved = taskData->saveVec.mark(); local
297 taskData->saveVec.reset(saved);
H A Dsavestate.cpp146 * Structure definitions for the saved state files.
152 // File header for a saved state file. This appears as the first entry
157 // saved state file before we try to interpret anything else.
208 * Hierarchy table: contains information about last loaded or saved state.
330 that the offset is saved in original word. */
444 errorMessage = "File being saved is used as a parent of this file";
447 Log("SAVE: File being saved is used as a parent of this file.\n");
670 // Most relocations can be computed when the saved state is
733 * Loading saved state files.
970 // Load a saved stat
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/
H A Delfbsd.S63 # saved registers
90 movzwl 4(%fp), %r0 # previous PSW, without the saved registers mask
95 bisl2 %r2, %r0 # saved register mask of the called function
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dtraps.S457 # Set EIP in the saved register context to the new IP returned from handleKernelException
509 orl $0x200, (%esp) # set interrupt bit in saved EFLAGS
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/
H A Dvalues.ml89 % axioms which are then saved as theorems. %
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/ide/
H A Duse.sml46 corresponding saved state file .polysave/a/b/c.ML .
48 will be saved for that file. *)
93 (* Reset the save directory before we save so that it isn't set in the saved
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dppc_closure.S76 # now load up the pointer to the saved gpr registers
79 # now load up the pointer to the saved fpr registers */
H A Dlinux64_closure.S140 # load up the pointer to the saved fpr registers */
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dtheories.tex53 important that the commands the user enters are saved in some sort of
56 time \HOL{} is started, the saved commands from previous sessions will
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dtheories.tex53 important that the commands the user enters are saved in some sort of
56 time \HOL{} is started, the saved commands from previous sessions will
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DLibrarySupport.sml182 A non-overwritable mutable in the executable or a saved state is not
183 overwritten when a saved state further down the hierarchy is loaded.
H A DForeignMemory.sml84 executable or from a saved state. Using the no-overwrite bit ensures
86 a saved state but there's a problem if it is contained in a parent state.
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DfunCall.sml39 caller's ip | saved pc | 0
40 caller's fp | saved lr | 1
58 caller's sp callee's ip | saved pc |
59 callee's fp | saved lr |
169 ADD sp, fp, 3 + #modified registers (* Skip saved lr, sp, fp and modified registers *)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml27 caller's ip | saved pc | 0
28 caller's fp | saved lr | 1
46 caller's sp callee's ip | saved pc |
47 callee's fp | saved lr |
157 ADD sp, fp, 3 + #modified registers (* Skip saved lr, sp, fp and modified registers *)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml27 caller's ip | saved pc | 0
28 caller's fp | saved lr | 1
46 caller's sp callee's ip | saved pc |
47 callee's fp | saved lr |
154 ADD sp, fp, 3 + #modified registers (* Skip saved lr, sp, fp and modified registers *)
H A DfunCallScript.sml285 ip | saved lr |
286 fp | saved sp |
287 | saved fp |
288 | saved r8 |
290 | saved r0 |
1185 (* Registers saved in the stack are restored *)
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DLogging.sml125 fun saved ob = case peek_dict ob of function
164 in if saved ob then () else let
173 in if saved ob then () else let
182 in if saved ob then () else let
199 in if saved ob then () else let
217 in if saved ob then () else let
381 in if saved ob then () else let
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml108 rbx, rbp, rdi, rsi, rsp, r12-r15 are saved by the called function.
110 ebx, edi, esi, ebp and esp are saved by the called function.
116 (* Previously the ML stack pointer was saved in a callee-save register. This works
157 loadMemory(esp, ebp, memRegCStackPtr), (*moveRR{source=ebp, output=esp},*) (* Load the saved C stack pointer. *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/
H A Dsysv.S230 ! saved area. We need to restore 4 regs, therefore we need to move
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dtraps.S30 * field is set to the new CPL. The old SS and RSP are saved on the new stack.
127 /* use saved stack */ \
137 /* Check the saved esp, if its 0 we came from */\
142 /* nested interrupt, use saved stack */ \
583 # Set RIP in the saved register context to the new IP returned from handleKernelException
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig329 [bddLoad name] returns the bdd saved in the file name.

Completed in 246 milliseconds

12