sel4_sys::seL4_CapFault_Msg

Constant seL4_CapFault_IP

Source 
pub const seL4_CapFault_IP: Type = 0;