sel4_config::consts

Constant WORD_SIZE

Source 
pub const WORD_SIZE: &str = "64";