sel4_sys::api_object

Constant seL4_ReplyObject

Source 
pub const seL4_ReplyObject: Type = 6;