/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | types.h | 28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
|
H A D | deprecated.h | 62 seL4_Word esi; member in struct:__anon210::__anon211
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | traps.S | 31 pushl %esi; \ 368 popl %esi 420 popl %esi 442 movl %cr4, %esi 443 pushl %esi 444 movl %cr3, %esi 445 pushl %esi 446 movl %cr2, %esi 447 pushl %esi 448 movl %cr0, %esi [all...] |
H A D | head.S | 57 movl %ebx, %esi /* multiboot_info_ptr */ 67 pushl %esi /* 2nd parameter: multiboot_info_ptr */ 75 popl %esi 80 pushl %esi /* 2nd parameter: multiboot_info_ptr */
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
H A D | types.h | 47 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | darwin.S | 69 /* Protect %esi. We're going to pop it in the epilogue. */ 70 pushl %esi 105 pop %esi 106 add (%esi, %ecx, 4), %esi 107 jmp *%esi 173 popl %esi 277 pushl %esi 280 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */ 287 movl %esi, ( [all...] |
H A D | freebsd.S | 70 /* Protect %esi. We're going to pop it in the epilogue. */ 71 pushl %esi 108 pop %esi 109 add (%esi, %ecx, 4), %esi 110 jmp *%esi 176 popl %esi 289 pushl %esi 292 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */ 299 movl %esi, ( [all...] |
H A D | sysv.S | 70 /* Protect %esi. We're going to pop it in the epilogue. */ 71 pushl %esi 106 pop %esi 107 add (%esi, %ecx, 4), %esi 108 jmp *%esi 162 popl %esi 286 pushl %esi 289 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */ 296 movl %esi, ( [all...] |
H A D | win32.S | 335 ffi_closure_raw_THISCALL PROC NEAR USES esi FORCEFRAME 337 mov esi, [eax + RAW_CLOSURE_CIF_OFFSET] ;; closure->cif 344 ffi_closure_raw_SYSV PROC NEAR USES esi FORCEFRAME 348 mov esi, [eax + RAW_CLOSURE_CIF_OFFSET] ;; closure->cif 356 mov [esp], esi ;; cif 358 mov eax, [esi + CIF_FLAGS_OFFSET] ;; cif->flags 909 pushl %esi 911 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */ 932 pushl %esi 935 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closur [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/demo/ |
H A D | decompiler_demoScript.sml | 65 85F6 (* L1: test esi, esi *) 68 8B36 (* mov esi, [esi] *)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_Lib.sml | 166 val th = x86_step (x86_encode "mov [esi],45") 168 val th = x86_step (x86_encode "div esi") 169 val th = x86_step (x86_encode "jmp esi") 171 val th = x86_step (x86_encode "mov BYTE [esi],edx"); 172 val th = x86_step (x86_encode "movzx edx,BYTE [esi]"); 174 val th = x86_step "8B3E"; (* mov edi,[esi] *) 182 val th = x86_step "81FE38000000"; (* cmp esi,56 *) 186 val th = x86_step "893E"; (* mov [esi],edi *) 187 val th = x86_step "8B3E"; (* mov edi,[esi] *) 189 val th = x86_step "81CE38000000"; (* or esi,5 [all...] |
H A D | prog_x86Lib.sml | 308 val th = x86_spec "89EE"; (* mov esi,ebp *) 309 val th = x86_spec "81E603000000"; (* and esi,3 *) 310 val th = x86_spec "4E"; (* dec esi *) 316 val th = x86_spec "8B36"; (* mov esi, [esi] *) 318 val th = x86_spec "8B7204"; (* mov esi,[edx+4] *) 320 val th = x86_spec "897104"; (* mov [ecx+4],esi *) 325 val th = x86_spec "F7F6"; (* div esi *) 326 val th = x86_spec "883E"; (* mov_byte [esi],edi *) 327 val th = x86_spec "0FB63E"; (* mov_byte edi,[esi] *) [all...] |
H A D | x86_decoderScript.sml | 491 val th = EVAL ``x86_decode(bytebits "8D84B6EE711202")``; (* lea eax, [esi + 4*esi + 34763246] *) 508 val th = EVAL ``x86_decode(bytebits "81FE38000000")``; (* cmp esi,56 *) 512 val th = EVAL ``x86_decode(bytebits "893E")``; (* mov [esi],edi *) 513 val th = EVAL ``x86_decode(bytebits "8B3E")``; (* mov edi,[esi] *) 515 val th = EVAL ``x86_decode(bytebits "81CE38000000")``; (* or esi,56 *) 519 val th = EVAL ``x86_decode(bytebits "81EE38000000")``; (* sub esi,56 *) 523 val th = EVAL ``x86_decode(bytebits "F7C638000000")``; (* test esi,56 *) 526 val th = EVAL ``x86_decode(bytebits "81F638000000")``; (* xor esi,56 *) 531 val th = EVAL ``x86_decode(bytebits "0FC11E")``; (* xadd [esi],eb [all...] |
H A D | prog_x86Script.sml | 836 val th = x86_step (x86_encode "jmp esi") 937 (xR ESI esi * xPC eip * xBYTE_MEMORY_X df f) 939 (xR ESI esi * xPC esi * xCODE (xCODE_SET df f))``,
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | x86assembly_gas32.S | 34 %%esi: General register. 124 pushl %esi # Push callee-save registers 135 movl Arg_SaveRSI(%ebp),%esi 148 movl %esi,Arg_SaveRSI(%ebp) 155 popl %esi
|
H A D | x86assembly_masm32.S | 28 ; esi: General register. 97 push esi 108 mov esi,[ArgVector.SaveRSI+ebp] 120 mov [ArgVector.SaveRSI+ebp],esi 127 pop esi ; Restore saved registers
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
H A D | jit_opsScript.sml | 445 xSTACK t * xR EDX edx * xPC edx * ~xS * xR ESI esi`` 471 ``!esi f. CODE_IN_MEM (xs,l,0,ns) esi df f = 472 CODE_IN_MEM ([],0,0,ns) esi df f``, 477 SEP_EXISTS f esi. cond (CODE_IN_MEM ([]:word32 list,0,0,ns) esi df f) * 478 xR ESI esi * xBYTE_MEMORY_X df f`; 491 val th3 = EXISTS_PRE `esi` th3
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86FOREIGNCALL.sml | 110 ebx, edi, esi, ebp and esp are saved by the called function. 111 We use esi to hold the argument data pointer and edi to save the ML stack pointer 164 | (X64Unix, 1) => [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi} ] 166 [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi}, moveRR{source=ebx, output=edx} ] 168 [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi}, moveRR{source=ebx, output=edx}, moveRR{source=r8, output=ecx} ] 258 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi} ] 260 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi}, moveRR{source=r8, output=edx} ] 262 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi}, moveRR{source=r8, output=edx}, moveRR{source=r9, output=ecx} ]
|
H A D | X86CODESIG.sml | 39 and edi: genReg and esi: genReg and esp: genReg and ebp: genReg value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/decompiler/ |
H A D | x64_decomp_demoScript.sml | 10 (* 8: *) 8975E4 (* mov %esi,-0x1c(%rbp) *)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/demo/ |
H A D | compiler_demoScript.sml | 108 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(9,"ebp")]
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | head.S | 329 movl %ebx, %esi /* multiboot_info_ptr */ 341 pushl %esi /* 2nd parameter: multiboot_info_ptr */
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | codegen_x86Lib.sml | 9 (4,"edi"), (5,"esi"), (6,"ebp")];
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
H A D | divideScript.sml | 12 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(10,"ebp")]
|
H A D | lisp_finalScript.sml | 399 val post = ``(let (eax,ecx,edi,esi,ebp,dh,h,df,f,dm,m,dg,g) = 404 ~xR EDX * xR ESI esi * ~xS) * 543 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi")]
|