Constant seL4_EndpointBits 

pub const seL4_EndpointBits: u32 = 4;