Constant seL4_Timeout_Consumed 

pub const seL4_Timeout_Consumed: Type = 1;