Constant sel4_sys::api_object::seL4_ReplyObject

source ยท 
pub const seL4_ReplyObject: Type = 6;