Constant seL4_CapFault_BitsLeft 

pub const seL4_CapFault_BitsLeft: Type = 4;