Constant sel4_sys::seL4_WordSizeBits

pub const seL4_WordSizeBits: u32 = 3;