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

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dfpu.c43 uint64_t xsave_features; local
59 xsave_features = ((uint64_t)x86_cpuid_edx(0x0d, 0x0) << 32) | x86_cpuid_eax(0x0d, 0x0);
60 if ((xsave_features & desired_features) != desired_features) {
61 printf("Requested feature mask is 0x%llx, but only 0x%llx supported\n", desired_features, (long long)xsave_features);

Completed in 118 milliseconds