Constant sel4_sys::seL4_VCPUFault_Msg::seL4_VCPUFault_HSR

pub const seL4_VCPUFault_HSR: Type = 0;