Constant seL4_TimeoutReply_X28

pub const seL4_TimeoutReply_X28: Type = 33;