seL4_ReplyObject

sel4_sys::api_object

Constant seL4_ReplyObject 

Source 
pub const seL4_ReplyObject: Type = 6;