seL4_NoError

Constant seL4_NoError 

Source
pub const seL4_NoError: Type = 0;