sel4_sys::seL4_VGICMaintenance_Msg

Type Alias Type

Source 
pub type Type = c_ulong;