sel4_sys::seL4_VCPUFault_Msg

Constant seL4_VCPUFault_HSR

Source 
pub const seL4_VCPUFault_HSR: Type = 0;