Constant seL4_TimeoutReply_X8 

pub const seL4_TimeoutReply_X8: Type = 11;