Constant sel4_sys::seL4_VCPUFault_Msg::seL4_VCPUFault_Length

pub const seL4_VCPUFault_Length: Type = 1;