Constant sel4_sys::seL4_BadgeBits

pub const seL4_BadgeBits: u32 = 64;