sel4_config::consts

Constant XSAVE_SIZE

Source 
pub const XSAVE_SIZE: &str = "512";