XSAVE_XSAVES

sel4_config::consts

Constant XSAVE_XSAVES 

Source 
pub const XSAVE_XSAVES: bool = false;