Constant sel4_sys::api_object::seL4_NotificationObject

pub const seL4_NotificationObject: Type = 3;