Constant seL4_VCPUFault_HSR 

pub const seL4_VCPUFault_HSR: Type = 0;