/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 | 61 seL4_Word edx; member in struct:__anon210::__anon211
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | head.S | 51 andl $0x04000000, %edx 74 movl $0x0, %edx 77 movl %edx, (%edi) 84 movl %edx, (%edi) 90 movl $0x87, %edx 94 movl %edx, (%edi) 96 addl $0x40000000, %edx 107 movl $0x87, %edx 108 movl %edx, 4080(%edi) 113 movl $boot_pdpt, %edx [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | sysv.S | 149 movl %edx,4(%ecx) 182 leal -24(%ebp), %edx 183 movl %edx, -12(%ebp) /* resp */ 184 leal 8(%ebp), %edx 189 movl %edx, 8(%esp) /* args = __builtin_dwarf_cfa () */ 190 leal -12(%ebp), %edx 191 movl %edx, 4(%esp) /* &resp */ 194 movl %edx, 4(%esp) /* args = __builtin_dwarf_cfa () */ 195 leal -12(%ebp), %edx 196 movl %edx, ( [all...] |
H A D | darwin.S | 148 movl %edx,4(%ecx) 192 leal -24(%ebp), %edx 193 movl %edx, -12(%ebp) /* resp */ 194 leal 8(%ebp), %edx 195 movl %edx, 4(%esp) /* args = __builtin_dwarf_cfa () */ 196 leal -12(%ebp), %edx 197 movl %edx, (%esp) /* &resp */ 245 movl 4(%ecx), %edx 281 movl RAW_CLOSURE_USER_DATA_OFFSET(%eax), %edx /* closure->user_data */ 282 movl %edx, 1 [all...] |
H A D | freebsd.S | 151 movl %edx,4(%ecx) 196 leal -24(%ebp), %edx 197 movl %edx, -12(%ebp) /* resp */ 198 leal 8(%ebp), %edx 199 movl %edx, 4(%esp) /* args = __builtin_dwarf_cfa () */ 200 leal -12(%ebp), %edx 201 movl %edx, (%esp) /* &resp */ 256 movl 4(%ecx), %edx 293 movl RAW_CLOSURE_USER_DATA_OFFSET(%eax), %edx /* closure->user_data */ 294 movl %edx, 1 [all...] |
H A D | win32.S | 90 mov edx, DWORD PTR [ecx+4] 172 mov [ecx + 4], edx 220 xchg DWORD PTR [esp+4], edx 222 push edx 231 xchg DWORD PTR [esp+4], edx 233 push edx 241 lea edx, [ebp - 24] 242 mov [ebp - 12], edx ;; resp 243 lea edx, [ebp + 8] 245 mov [esp + 8], edx ;; arg [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | traps.S | 32 pushl %edx; \ 329 movl $0x23, %edx # 0x23 = SEL_DS_3 330 movl %edx, %ds 331 movl %edx, %es 367 popl %edx 419 popl %edx 437 movl 64(%esp), %edx # EDX contains EFLAGS 450 pushl %edx 476 pushl %edx 511 pushl %edx # NextI [all...] |
/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/seL4/src/arch/x86/machine/ |
H A D | hardware.c | 151 cpuid_007h_edx_t edx; local 152 edx.words[0] = x86_cpuid_edx(0x7, 0); 153 bool_t support_ibrs = cpuid_007h_edx_get_ibrs_ibpb(edx); 169 if (cpuid_007h_edx_get_ia32_arch_cap_msr(edx)) {
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
H A D | machine.h | 140 uint32_t edx, ebx; local 145 "=d" (edx) 148 return edx; 153 uint32_t edx, ebx; local 158 "=d" (edx) 166 uint32_t edx, ebx; local 171 "=d" (edx) 179 uint32_t edx, ebx; local 184 "=d" (edx)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | x86assembly_gas32.S | 32 %%edx: Closure pointer in call. 134 movl Arg_SaveRDX(%ebp),%edx 147 movl %edx,Arg_SaveRDX(%ebp) 173 popl %edx 175 jmp *(%edx)
|
H A D | x86assembly_masm32.S | 26 ; edx: Closure pointer in call. 107 mov edx,[ArgVector.SaveRDX+ebp] 119 mov [ArgVector.SaveRDX+ebp],edx 137 pop edx 139 jmp dword ptr [edx]
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86FOREIGNCALL.sml | 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} ] 170 | (X64Win, 1) => [ loadMemory(ecx, ebp, memRegThreadSelf), moveRR{source=eax, output=edx} ] 172 [ loadMemory(ecx, ebp, memRegThreadSelf), moveRR{source=eax, output=edx}, moveRR{source=ebx, output=r8} ] 174 [ loadMemory(ecx, ebp, memRegThreadSelf), moveRR{source=eax, output=edx}, moveRR{source=r8, output=r9}, moveRR{source=ebx, output=r8} ] 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} ] 264 | (X64Win, 2) => [ moveRR{source=eax, output=ecx}, moveRR{source=ebx, output=edx} ] 266 [ moveRR{source=eax, output=ecx}, moveRR{source=ebx, output=edx} (* Arg3 is already in r8. *) ] 268 [ moveRR{source=eax, output=ecx}, moveRR{source=ebx, output=edx} (* Arg [all...] |
H A D | X86CODESIG.sml | 38 val eax: genReg and ebx: genReg and ecx: genReg and edx: genReg value
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | codegen_x86Lib.sml | 8 val x86_regs = ref [(0,"eax"), (1,"ecx"), (2,"edx"), (3,"ebx"), 49 in if (i_reg = "eax") andalso (k_reg = "eax") then ["xor edx, edx", "div " ^ x86_reg j] 58 in if (i_reg = "eax") andalso (k_reg = "edx") then ["xor edx, edx", "mod " ^ x86_reg j]
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
H A D | jit_opsScript.sml | 282 val ((th,_,_),_) = spec (x86_encode "jmp edx") 393 SPEC X86_MODEL (xJIT_INV s a * xR EDX edx) 395 (xSTACK s * xR EDX edx * xPC edx * ~xS)``, 411 SPEC X86_MODEL (xJIT_INV s a * xR EDX edx) 413 (xSTACK t * xR EDX edx * xPC edx * ~xS)``, 419 \\ Q.EXISTS_TAC `(xJIT_INV s' a * xR EDX edx)` 445 xSTACK t * xR EDX edx * xPC edx * ~x [all...] |
H A D | jit_incrementalScript.sml | 28 [(1,"eax"),(6,"ebx"),(5,"ecx"),(2,"edx"),(3,"edi"),(4,"esi"),(7,"ebp")] 33 r2 edx - preserved (return address) 175 r2 edx - preserved (return address) 1729 ``x86_inc (eax,edx,edi,esi,ecx,ebx,ebp,dh,h,df,f,dg,g) = 1730 (eax,edx,edi,w,0w,ebx,ebp,dh,h3,df,f3,dg,g)`` x86_inc_th 1799 val (th,goal) = SPEC_WEAKEN_RULE th ``xINC (x::xs,l,n,cs) (ebx,edx,esp)`` 1804 \\ POP_ASSUM (STRIP_ASSUME_TAC o Q.SPECL [`ebx`,`edi`,`edx`,`x`]) 1831 val (th,goal) = SPEC_STRENGTHEN_RULE th ``xINC_CODEGEN (x::xs,l,p,cs) (ebx,edx,esp) t`` 1839 \\ Q.PAT_X_ASSUM `!r6' r3' r2' r1'. ?h2. bbb` (STRIP_ASSUME_TAC o Q.SPECL [`ebx`,`edi`,`edx`,`x`]) 1848 ``SPEC X86_MODEL (xINC_CODEGEN (xs,l,p,cs) (ebx,edx,es [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | prog_x86Lib.sml | 307 val th = x86_spec "F7C203000000"; (* test edx,3 *) 311 val th = x86_spec "89EA"; (* mov edx,ebp *) 312 val th = x86_spec "4A"; (* dec edx *) 317 val th = x86_spec "8B2A"; (* mov ebp,[edx] *) 318 val th = x86_spec "8B7204"; (* mov esi,[edx+4] *) 321 val th = x86_spec "892A"; (* mov [edx],ebp *) 340 val th = x86_spec (x86_encode "jmp edx")
|
H A D | x86_Lib.sml | 171 val th = x86_step (x86_encode "mov BYTE [esi],edx"); 172 val th = x86_step (x86_encode "movzx edx,BYTE [esi]"); 231 val th = x86_step "0FB110"; (* cmpxchg [eax],edx *)
|
/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")] 235 ``((let (eax,ecx,edx) = x86_div_mod (eax,ecx) in pp eax ecx edx) = 236 (let (eax,edx) = (word_div eax ecx, word_mod eax ecx) in pp eax ecx edx))``,
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/decompiler/ |
H A D | x64_decomp_demoScript.sml | 56 (* 27: *) 89c2 (* mov %eax,%edx *)
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | boot_sys.c | 416 cpuid_007h_edx_t edx; local 417 edx.words[0] = x86_cpuid_edx(0x7, 0); 420 if (cpuid_007h_edx_get_ia32_arch_cap_msr(edx)) {
|
/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/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | x64_opsemScript.sml | 340 (\ (eax,edx). constT (w2n edx * value_width s + w2n eax))))
|