Type Alias sel4_sys::WaitMessageInfo

source ยท 
pub type WaitMessageInfo = ();