Searched refs:edx (Results 1 - 25 of 38) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dtypes.h28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
H A Ddeprecated.h61 seL4_Word edx; member in struct:__anon210::__anon211
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dhead.S51 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 Dsysv.S149 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 Ddarwin.S148 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 Dfreebsd.S151 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 Dwin32.S90 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 Dtraps.S32 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 Dtypes.h47 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 Dhardware.c151 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 Dmachine.h140 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 Dx86assembly_gas32.S32 %%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 Dx86assembly_masm32.S26 ; 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 DX86FOREIGNCALL.sml166 [ 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 DX86CODESIG.sml38 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 Dcodegen_x86Lib.sml8 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 Djit_opsScript.sml282 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 Djit_incrementalScript.sml28 [(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 Dprog_x86Lib.sml307 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 Dx86_Lib.sml171 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 DdivideScript.sml12 [(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 Dx64_decomp_demoScript.sml56 (* 27: *) 89c2 (* mov %eax,%edx *)
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c416 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 Dcompiler_demoScript.sml108 [(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 Dx64_opsemScript.sml340 (\ (eax,edx). constT (w2n edx * value_width s + w2n eax))))

Completed in 208 milliseconds

12