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

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dfpu.c45 uint64_t desired_features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); local
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);
65 write_xcr0(desired_features);
98 x86_wrmsr(IA32_XSS_MSR, desired_features);

Completed in 86 milliseconds