Searched refs:x86_cpuid_ebx (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dfpu.c61 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 Dcpu_identification.c45 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 Dboot.c387 ebx_007.words[0] = x86_cpuid_ebx(0x7, 0);
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h173 static inline uint32_t x86_cpuid_ebx(uint32_t eax, uint32_t ecx) function

Completed in 83 milliseconds