Constant sel4_common::fault::seL4_CapFault_BitsLeft

pub const seL4_CapFault_BitsLeft: usize = 4;