Constant seL4_TimeoutReply_SP 

pub const seL4_TimeoutReply_SP: Type = 1;