Constant sel4_sys::seL4_ReplyBits

pub const seL4_ReplyBits: u32 = 5;