Constant seL4_Fault_VMFault 

pub const seL4_Fault_VMFault: u64 = 5;