Constant seL4_TimeoutReply_X0 

pub const seL4_TimeoutReply_X0: Type = 3;