Constant seL4_Fault_VCPUFault 

pub const seL4_Fault_VCPUFault: u64 = 8;