Constant seL4_Timeout_Consumed

pub const seL4_Timeout_Consumed: Type = 1;