sel4_sys::seL4_VCPUFault_Msg

Constant _enum_pad_seL4_VCPUFault_Msg

Source 
pub const _enum_pad_seL4_VCPUFault_Msg: Type = 9223372036854775807;