Searched refs:x86_cpuid_ebx (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/kernel/src/arch/x86/machine/ |
H A D | fpu.c | 61 if (x86_cpuid_ebx(0x0d, 0x0) > CONFIG_XSAVE_SIZE) { 62 printf("XSAVE buffer set set to %d, but needs to be at least %d\n", CONFIG_XSAVE_SIZE, x86_cpuid_ebx(0x0d, 0x0)); 65 if (x86_cpuid_ebx(0x0d, 0x0) < CONFIG_XSAVE_SIZE) { 68 CONFIG_XSAVE_SIZE, x86_cpuid_ebx(0x0d, 0x0));
|
H A D | cpu_identification.c | 45 vendor_string32[0] = x86_cpuid_ebx(0, 0); 130 ebx.words[0] = x86_cpuid_ebx(1, 0);
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | boot.c | 387 ebx_007.words[0] = x86_cpuid_ebx(0x7, 0);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 173 static inline uint32_t x86_cpuid_ebx(uint32_t eax, uint32_t ecx) function
|
Completed in 83 milliseconds