/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/ |
H A D | obsd.S | 136 | 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 D | libffi.exp | 392 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 D | polystring.cpp | 205 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 D | profiling.cpp | 77 "Loading saved state", 323 Handle saved = taskData->saveVec.mark(); local 336 taskData->saveVec.reset(saved);
|
H A D | run_time.cpp | 283 Handle saved = taskData->saveVec.mark(); local 297 taskData->saveVec.reset(saved);
|
H A D | savestate.cpp | 146 * 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 D | elfbsd.S | 63 # 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 D | traps.S | 457 # 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 D | values.ml | 89 % axioms which are then saved as theorems. %
|
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/ide/ |
H A D | use.sml | 46 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 D | ppc_closure.S | 76 # now load up the pointer to the saved gpr registers 79 # now load up the pointer to the saved fpr registers */
|
H A D | linux64_closure.S | 140 # load up the pointer to the saved fpr registers */
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/ |
H A D | theories.tex | 53 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 D | theories.tex | 53 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 D | LibrarySupport.sml | 182 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 D | ForeignMemory.sml | 84 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 D | funCall.sml | 39 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 D | funCall.sml | 27 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 D | funCall.sml | 27 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 D | funCallScript.sml | 285 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 D | Logging.sml | 125 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 D | X86FOREIGNCALL.sml | 108 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 D | sysv.S | 230 ! 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 D | traps.S | 30 * 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 D | bdd.sig | 329 [bddLoad name] returns the bdd saved in the file name.
|