Constant seL4_Fault_Timeout 

pub const seL4_Fault_Timeout: u64 = 5;