Constant seL4_TimeoutReply_X28 

pub const seL4_TimeoutReply_X28: Type = 33;