Type Alias Endpoint

pub type Endpoint<C = NoExplicitInvocationContext> = Cap<Endpoint, C>;

Aliased Type

struct Endpoint<C = NoExplicitInvocationContext> { /* private fields */ }

Implementations

impl<C: InvocationContext> Endpoint<C>

pub fn send(self, info: MessageInfo)

Corresponds to seL4_Send.

pub fn nb_send(self, info: MessageInfo)

Corresponds to seL4_NBSend.

pub fn recv( self, reply_authority: impl ConveysReplyAuthority, ) -> (MessageInfo, Badge)

Corresponds to seL4_Recv.

pub fn nb_recv( self, reply_authority: impl ConveysReplyAuthority, ) -> (MessageInfo, Badge)

Corresponds to seL4_NBRecv.

pub fn call(self, info: MessageInfo) -> MessageInfo

Corresponds to seL4_Call.

pub fn reply_recv( self, info: MessageInfo, reply_authority: impl ConveysReplyAuthority, ) -> (MessageInfo, Badge)

Corresponds to seL4_ReplyRecv.

pub fn send_with_mrs<T: FastMessages>(self, info: MessageInfo, messages: T)

pub fn recv_with_mrs( self, reply_authority: impl ConveysReplyAuthority, ) -> RecvWithMRs

pub fn call_with_mrs<T: FastMessages>( self, info: MessageInfo, messages: T, ) -> CallWithMRs