sel4_sys

Type Alias WaitMessageInfo

Source 
pub type WaitMessageInfo = ();