Constant seL4_NotificationObject 

pub const seL4_NotificationObject: Type = 3;