/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 | 59 seL4_Word ebx; member in struct:__anon210::__anon211
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | traps.S | 34 pushl %ebx; \ 365 popl %ebx 396 movl $(1<<8), %ebx 397 testl %ebx, %eax 417 popl %ebx 436 movl 56(%esp), %ebx # EBX contains EIP of the exception generating instruction 452 pushl %ebx 478 pushl %ebx 524 pushl %ebx # save EBX (cap/badge register) 537 pushl %ebx # cpt [all...] |
H A D | machine_asm.S | 59 pushl %ebx 62 movl %ebx, %eax 66 popl %ebx
|
H A D | head.S | 57 movl %ebx, %esi /* multiboot_info_ptr */
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | head.S | 39 movb (%ebx), %al 41 incl %ebx 53 movl $huge_page_error_string, %ebx 92 movl $0, %ebx 95 movl %ebx, 4(%edi) 100 incl %ebx 182 movl $pcid_error_string, %ebx 200 andl $0x400, %ebx 202 movl $invpcid_error_string, %ebx 222 movl $syscall_error_string, %ebx [all...] |
H A D | machine_asm.S | 73 movl %ebx, %eax
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | cpu_identification.c | 128 cpuid_001h_ebx_t ebx; local 135 /* Need both eax and ebx ouput values. */ 137 ebx.words[0] = x86_cpuid_ebx(1, 0); 151 ci->display.brand = cpuid_001h_ebx_get_brand(ebx);
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_Lib.sml | 170 val th = x86_step (x86_encode "xchg [ebx],eax") 176 val th = x86_step "010B"; (* add [ebx], ecx *) 177 val th = x86_step "0119"; (* add [ecx], ebx *) 180 val th = x86_step "210B"; (* and [ebx], ecx *) 181 val th = x86_step "2319"; (* and ebx, [ecx] *) 183 val th = x86_step "813B37020000"; (* cmp dword [ebx],567 *) 184 val th = x86_step "390B"; (* cmp [ebx], ecx *) 185 val th = x86_step "3B19"; (* cmp ebx, [ecx] *) 190 val th = x86_step "810B37020000"; (* or dword [ebx],567 *) 191 val th = x86_step "090B"; (* or [ebx], ec [all...] |
H A D | x86_decoderScript.sml | 494 val th = EVAL ``x86_decode(bytebits "D1EB")``; (* shr ebx, 1 *) 495 val th = EVAL ``x86_decode(bytebits "C1EB08")``; (* shr ebx, 8 *) 500 val th = EVAL ``x86_decode(bytebits "010B")``; (* add [ebx], ecx *) 501 val th = EVAL ``x86_decode(bytebits "0119")``; (* add [ecx], ebx *) 504 val th = EVAL ``x86_decode(bytebits "210B")``; (* and [ebx], ecx *) 505 val th = EVAL ``x86_decode(bytebits "2319")``; (* and ebx, [ecx] *) 509 val th = EVAL ``x86_decode(bytebits "813B37020000")``; (* cmp dword [ebx],567 *) 510 val th = EVAL ``x86_decode(bytebits "390B")``; (* cmp [ebx], ecx *) 511 val th = EVAL ``x86_decode(bytebits "3B19")``; (* cmp ebx, [ecx] *) 516 val th = EVAL ``x86_decode(bytebits "810B37020000")``; (* or dword [ebx],56 [all...] |
H A D | prog_x86Lib.sml | 322 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-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/include/arch/x86/arch/ |
H A D | machine.h | 140 uint32_t edx, ebx; local 143 "=b" (ebx), 153 uint32_t edx, ebx; local 156 "=b" (ebx), 166 uint32_t edx, ebx; local 169 "=b" (ebx), 179 uint32_t edx, ebx; local 182 "=b" (ebx), 187 return ebx;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | x86assembly_gas32.S | 30 %%ebx: Second argument to function. 122 pushl %ebx 132 movl Arg_SaveRBX(%ebp),%ebx # Load the registers 145 movl %ebx,Arg_SaveRBX(%ebp) 157 popl %ebx 201 # Use %ecx and %eax because they are volatile (unlike %ebx on X86/64/Unix)
|
H A D | x86assembly_masm32.S | 24 ; ebx: Second argument to function. 95 push ebx ; Push callee-save registers 105 mov ebx,[ArgVector.SaveRBX+ebp] 117 mov [ArgVector.SaveRBX+ebp],ebx 129 pop ebx 176 ; Use ecx and eax because they are volatile (unlike ebx on X86/64/Unix)
|
/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. 112 Our ML conventions use eax, ebx for the first two arguments in X86/32 and 113 rax, ebx, r8, r9, r10 for the first five arguments in X86/64. 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} ] 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} ] 177 | (X86_32, 2) => [ pushR ebx, pushR eax, PushToStack(MemoryArg{base=ebp, offset=memRegThreadSelf, index=NoIndex}) ] 181 PushToStack(MemoryArg{base=edi, offset=4, index=NoIndex}), pushR ebx, pushR eax, 258 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, outpu [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/polyml/libpolyml/libffi/src/x86/ |
H A D | freebsd.S | 205 movl %ebx, 8(%esp) 208 1: popl %ebx 209 addl $_GLOBAL_OFFSET_TABLE_+[.-1b], %ebx 211 movl 8(%esp), %ebx
|
H A D | sysv.S | 201 movl %ebx, 8(%esp) 204 1: popl %ebx 205 addl $_GLOBAL_OFFSET_TABLE_+[.-1b], %ebx 207 movl 8(%esp), %ebx
|
H A D | darwin.S | 198 movl %ebx, 8(%esp) 201 movl 8(%esp), %ebx
|
H A D | win32.S | 782 movl %ebx, 8(%esp) 784 1: popl %ebx 785 addl $_GLOBAL_OFFSET_TABLE_+[.-1b], %ebx 787 movl 8(%esp), %ebx 1069 movl %ebx, 8(%esp) 1071 1: popl %ebx 1072 addl $_GLOBAL_OFFSET_TABLE_+[.-1b], %ebx 1074 movl 8(%esp), %ebx
|
/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/compiler/ |
H A D | codegen_x86Lib.sml | 8 val x86_regs = ref [(0,"eax"), (1,"ecx"), (2,"edx"), (3,"ebx"),
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
H A D | jit_incrementalScript.sml | 28 [(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...] |
/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")]
|