Constant seL4_Timeout_Data 

pub const seL4_Timeout_Data: Type = 0;