Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/machine/
A Dfpu.c39 uint64_t desired_features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); in Arch_initFpu() local
54 if ((xsave_features & desired_features) != desired_features) { in Arch_initFpu()
55 …tf("Requested feature mask is 0x%llx, but only 0x%llx supported\n", desired_features, (long long)x… in Arch_initFpu()
59 write_xcr0(desired_features); in Arch_initFpu()
92 x86_wrmsr(IA32_XSS_MSR, desired_features); in Arch_initFpu()

Completed in 3 milliseconds