Constant seL4_TimeoutReply_X24 

pub const seL4_TimeoutReply_X24: Type = 29;