Constant sel4_sys::seL4_EndpointBits

pub const seL4_EndpointBits: u32 = 4;