Constant sel4_sys::seL4_TimeoutReply_Msg::seL4_TimeoutReply_X28

pub const seL4_TimeoutReply_X28: Type = 33;