XSAVE_XSAVEC

sel4_config::consts

Constant XSAVE_XSAVEC 

Source 
pub const XSAVE_XSAVEC: bool = false;