XSAVE_XSAVEOPT

sel4_config::consts

Constant XSAVE_XSAVEOPT 

Source 
pub const XSAVE_XSAVEOPT: bool = false;