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

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dfpu.c44 uint32_t xsave_instruction; local
77 xsave_instruction = x86_cpuid_eax(0x0d, 0x1);
79 if (!(xsave_instruction & BIT(0))) {
84 if (!(xsave_instruction & BIT(1))) {
89 if (!(xsave_instruction & BIT(3))) {

Completed in 31 milliseconds