Searched refs:ebx (Results 1 - 25 of 31) sorted by relevance

12

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dtypes.h21 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
H A Ddeprecated.h52 seL4_Word ebx; member in struct:__anon217::__anon218
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dhead.S38 movb (%ebx), %al
40 incl %ebx
60 movl $huge_page_error_string, %ebx
133 movl $pcid_error_string, %ebx
147 andl $0x400, %ebx
151 movl $invpcid_error_string, %ebx
169 movl $syscall_error_string, %ebx
184 andl $1, %ebx
192 movl $fsgsbase_error_string, %ebx
270 movl %ebx,
[all...]
H A Dmachine_asm.S67 movl %ebx, %eax
/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dcpu_identification.c121 cpuid_001h_ebx_t ebx; local
128 /* Need both eax and ebx ouput values. */
130 ebx.words[0] = x86_cpuid_ebx(1, 0);
144 ci->display.brand = cpuid_001h_ebx_get_brand(ebx);
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S61 pushl %ebx
64 movl %ebx, %eax
68 popl %ebx
H A Dtraps.S33 pushl %ebx; \
398 popl %ebx
427 movl $(1<<8), %ebx
428 testl %ebx, %eax
449 popl %ebx
464 movl (4 * NextIP)(%esp), %ebx # EBX contains EIP of the exception generating instruction
479 pushl %ebx
498 pushl %ebx
536 pushl %ebx # save EBX (cap/badge register)
552 pushl %ebx # cpt
[all...]
H A Dhead.S53 movl %ebx, %esi /* multiboot_info_ptr */
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_Lib.sml171 val th = x86_step (x86_encode "xchg [ebx],eax")
177 val th = x86_step "010B"; (* add [ebx], ecx *)
178 val th = x86_step "0119"; (* add [ecx], ebx *)
181 val th = x86_step "210B"; (* and [ebx], ecx *)
182 val th = x86_step "2319"; (* and ebx, [ecx] *)
184 val th = x86_step "813B37020000"; (* cmp dword [ebx],567 *)
185 val th = x86_step "390B"; (* cmp [ebx], ecx *)
186 val th = x86_step "3B19"; (* cmp ebx, [ecx] *)
191 val th = x86_step "810B37020000"; (* or dword [ebx],567 *)
192 val th = x86_step "090B"; (* or [ebx], ec
[all...]
H A Dx86_decoderScript.sml495 val th = EVAL ``x86_decode(bytebits "D1EB")``; (* shr ebx, 1 *)
496 val th = EVAL ``x86_decode(bytebits "C1EB08")``; (* shr ebx, 8 *)
501 val th = EVAL ``x86_decode(bytebits "010B")``; (* add [ebx], ecx *)
502 val th = EVAL ``x86_decode(bytebits "0119")``; (* add [ecx], ebx *)
505 val th = EVAL ``x86_decode(bytebits "210B")``; (* and [ebx], ecx *)
506 val th = EVAL ``x86_decode(bytebits "2319")``; (* and ebx, [ecx] *)
510 val th = EVAL ``x86_decode(bytebits "813B37020000")``; (* cmp dword [ebx],567 *)
511 val th = EVAL ``x86_decode(bytebits "390B")``; (* cmp [ebx], ecx *)
512 val th = EVAL ``x86_decode(bytebits "3B19")``; (* cmp ebx, [ecx] *)
517 val th = EVAL ``x86_decode(bytebits "810B37020000")``; (* or dword [ebx],56
[all...]
H A Dprog_x86Lib.sml322 val th = x86_spec "813337020000"; (* xor dword [ebx],567 *)
323 val th = x86_spec "310B"; (* xor [ebx], ecx *)
346 val th = x86_spec "813337020000"; (* mov dword [ebx],567 *)
/seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dtypes.h40 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dmachine.h136 uint32_t edx, ebx; local
139 "=b"(ebx),
149 uint32_t edx, ebx; local
152 "=b"(ebx),
162 uint32_t edx, ebx; local
165 "=b"(ebx),
175 uint32_t edx, ebx; local
178 "=b"(ebx),
183 return ebx;
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S30 %%ebx: Second argument to function.
109 pushl %ebx
117 movl Arg_SaveRBX(%ebp),%ebx # Load the registers
130 movl %ebx,Arg_SaveRBX(%ebp)
149 movl Arg_SaveRBX(%ebp),%ebx # Load the registers
179 # Use %ecx and %eax because they are volatile (unlike %ebx on X86/64/Unix)
H A Dx86assembly_masm32.S24 ; ebx: Second argument to function.
87 push ebx ; Push callee-save registers
95 mov ebx,[ArgVector.SaveRBX+ebp]
109 mov [ArgVector.SaveRBX+ebp],ebx
129 mov ebx,[ArgVector.SaveRBX+ebp]
153 ; Use ecx and eax because they are volatile (unlike ebx on X86/64/Unix)
/seL4-l4v-master/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-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml59 ebx, edi, esi, ebp and esp are saved by the called function.
61 Our ML conventions use eax, ebx for the first two arguments in X86/32,
62 rax, ebx, r8, r9, r10 for the first five arguments in X86/64 and
75 is replaced by esi on the object ID arch because ebx is used as the
77 val mlArg2Reg = case targetArch of ObjectId32Bit => esi | _ => ebx
98 Move{source=MemoryArg{base=ebx, offset=offset, index=Index4 base},
225 (* The stack arguments have to be copied first followed by the ebx and finally eax. *)
228 | pushArgs (_, [arg2Type, arg1Type]) = pushReg(ebx, arg2Type) @ pushReg(eax, arg1Type)
611 val sourceAddr = {base=ebx, offset=nArgs*4, index=NoIndex}
626 Move{source=MemoryArg {base=ebx, offse
[all...]
H A DX86CODESIG.sml39 val eax: genReg and ebx: genReg and ecx: genReg and edx: genReg value
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A Dcodegen_x86Lib.sml8 val x86_regs = ref [(0,"eax"), (1,"ecx"), (2,"edx"), (3,"ebx"),
H A DcodegenLib.sml217 L: add eax,ebx
219 inc ebx
/seL4-l4v-master/HOL4/examples/machine-code/just-in-time/
H A Djit_incrementalScript.sml28 [(1,"eax"),(6,"ebx"),(5,"ecx"),(2,"edx"),(3,"edi"),(4,"esi"),(7,"ebp")]
37 r6 ebx - preserved (poniter to code generator)
44 (* calls to code generator execute "xor ecx, index; call ebx" *)
179 r6 ebx - preserved (poniter to code generator)
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
1751 val th = Q.INST [`eax`|->`x`,`p`|->`ebx`,`ecx`|->`n2w n`,`esi`|->`cp + 5w`] 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,ed
[all...]
H A Djit_codegenScript.sml32 [(1,"eax"),(6,"ebx"),(5,"ecx"),(2,"edx"),(3,"edi"),(4,"esi"),(7,"ebp")]
/seL4-l4v-master/HOL4/examples/machine-code/lisp/
H A DdivideScript.sml12 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(10,"ebp")]
H A Dlisp_equalScript.sml19 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(9,"ebp")]
H A Dlisp_finalScript.sml543 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi")]

Completed in 95 milliseconds

12