Type Alias sel4::NoExplicitInvocationContext

pub type NoExplicitInvocationContext = ImplicitInvocationContext;

The default strategy for discovering the current thread’s IPC buffer.

When the "state" feature is enabled, NoExplicitInvocationContext is an alias for ImplicitInvocationContext, which uses the IpcBuffer set by set_ipc_buffer. Otherwise, it is an alias for NoInvocationContext, which does not implement InvocationContext.

Aliased Type

struct NoExplicitInvocationContext;