Searched defs:features (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/machine/
H A Dfpu.h51 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); local
57 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); local

Completed in 30 milliseconds