| /seL4-test-master/projects/musllibc/src/thread/i386/ |
| H A D | __unmapself.s | 6 movl 4(%esp),%ebx
9 xorl %ebx,%ebx
|
| H A D | __set_thread_area.s | 5 push %ebx
14 mov %esp,%ebx
26 popl %ebx
29 mov %ebx,%ecx
30 xor %ebx,%ebx
32 mov %ebx,(%esp)
|
| H A D | clone.s | 7 push %ebx
21 mov 16(%ebp),%ebx
37 mov %eax,%ebx
46 pop %ebx
|
| H A D | syscall_cp.s | 14 pushl %ebx
23 movl 28(%esp),%ebx
34 popl %ebx
40 popl %ebx
|
| /seL4-test-master/projects/musllibc/src/signal/i386/ |
| H A D | sigsetjmp.s | 12 mov %ebx,28+8(%eax)
13 mov %eax,%ebx
18 pushl 24(%ebx)
19 mov %ebx,4(%esp)
21 mov 28+8(%ebx),%ebx
|
| /seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/ |
| H A D | trampoline.S | 25 pushl %ebx
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | cpuid.c | 28 static inline void native_cpuid(unsigned int *eax, unsigned int *ebx, argument
34 "=b"(*ebx),
43 unsigned int eax, ebx, ecx, edx; local
48 native_cpuid(&eax, &ebx, &ecx, &edx);
87 /* cpuid 7.0.ebx */
94 ZF_LOGD("cpuid function 0x%x index 0x%x eax 0x%x ebx 0%x ecx 0x%x edx 0x%x\n", function, index, eax, ebx, ecx, edx);
116 ebx &= kvm_supported_word9_x86_features;
120 eax = ebx = ecx = edx = 0;
124 eax = ebx
[all...] |
| H A D | cpuid.h | 34 /* This CPUID returns the signature 'KVMKVMKVM' in ebx, ecx, and edx if running under KVM. */
42 unsigned int ebx; member in struct:cpuid_val
|
| /seL4-test-master/projects/sel4runtime/crt/sel4_arch/ia32/ |
| H A D | sel4_crt0.S | 31 push %ebx
|
| /seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | types.h | 21 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
|
| /seL4-test-master/projects/musllibc/src/internal/i386/ |
| H A D | syscall.s | 6 # ebx or ebp (which are unavailable in PIC and frame-pointer-using
14 push %ebx
15 mov %edx,%ebx
20 2: mov %ebx,%edx
21 pop %ebx
22 pop %ebx
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | debug.c | 46 unsigned int eax, ebx, ecx; local
48 vm_get_thread_context_reg(vcpu, VCPU_CONTEXT_EBX, &ebx);
50 printf("eax 0x%8x ebx 0x%8x ecx 0x%8x\n", eax, ebx, ecx);
|
| /seL4-test-master/projects/musllibc/src/setjmp/i386/ |
| H A D | longjmp.s | 13 mov (%edx),%ebx
|
| H A D | setjmp.s | 14 mov %ebx, (%eax)
|
| /seL4-test-master/projects/musllibc/src/setjmp/i386_sel4/ |
| H A D | longjmp.s | 13 mov (%edx),%ebx
|
| H A D | setjmp.s | 14 mov %ebx, (%eax)
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/ia32/ |
| H A D | crt0.S | 42 pushl %ebx
|
| /seL4-test-master/kernel/src/arch/x86/64/ |
| H A D | head.S | 38 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...] |
| /seL4-test-master/kernel/src/arch/x86/32/ |
| H A D | machine_asm.S | 61 pushl %ebx
64 movl %ebx, %eax
68 popl %ebx
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | cpu_identification.c | 121 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-test-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
| H A D | types.h | 40 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
|
| /seL4-test-master/kernel/include/arch/x86/arch/ |
| H A D | machine.h | 136 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-test-master/projects/seL4_libs/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/ |
| H A D | registers.h | 24 "ebx",
40 compile_time_assert(ebx_correct_position, offsetof(seL4_UserContext, ebx) == 4 * sizeof(seL4_Word));
|
| /seL4-test-master/projects/musllibc/arch/i386/bits/ |
| H A D | user.h | 15 long ebx, ecx, edx, esi, edi, ebp, eax, xds, xes, xfs, xgs; member in struct:user_regs_struct
|
| /seL4-test-master/projects/musllibc/arch/i386_sel4/bits/ |
| H A D | user.h | 15 long ebx, ecx, edx, esi, edi, ebp, eax, xds, xes, xfs, xgs; member in struct:user_regs_struct
|