WORD_SIZE

sel4_config::consts

Constant WORD_SIZE 

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