Constant seL4_WordSizeBits 

pub const seL4_WordSizeBits: u32 = 2;