sel4

Type Alias NoExplicitInvocationContext

Source
pub type NoExplicitInvocationContext = ImplicitInvocationContext;
Expand description

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;