Constant sel4_sys::seL4_TimeoutReply_Msg::seL4_TimeoutReply_X27

pub const seL4_TimeoutReply_X27: Type = 32;