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

/seL4-master/src/arch/x86/machine/
A D	fpu.c	38 uint32_t xsave_instruction; in Arch_initFpu() local 71 xsave_instruction = x86_cpuid_eax(0x0d, 0x1); in Arch_initFpu() 73 if (!(xsave_instruction & BIT(0))) { in Arch_initFpu() 78 if (!(xsave_instruction & BIT(1))) { in Arch_initFpu() 83 if (!(xsave_instruction & BIT(3))) { in Arch_initFpu()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023