Constant sel4_sys::seL4_CapFault_Msg::seL4_CapFault_BitsLeft

pub const seL4_CapFault_BitsLeft: Type = 4;