Type Alias sel4::cap::Tcb

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

Aliased Type

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

Implementations

impl<C: InvocationContext> Tcb<C>

pub fn tcb_read_registers( self, suspend: bool, count: Word ) -> Result<UserContext>

Corresponds to seL4_TCB_ReadRegisters.

pub fn tcb_read_all_registers(self, suspend: bool) -> Result<UserContext>

pub fn tcb_write_registers( self, resume: bool, count: Word, regs: &mut UserContext ) -> Result<()>

Corresponds to seL4_TCB_WriteRegisters.

pub fn tcb_write_all_registers( self, resume: bool, regs: &mut UserContext ) -> Result<()>

pub fn tcb_resume(self) -> Result<()>

Corresponds to seL4_TCB_Resume.

pub fn tcb_suspend(self) -> Result<()>

Corresponds to seL4_TCB_Suspend.

pub fn tcb_configure( self, cspace_root: CNode, cspace_root_data: CNodeCapData, vspace_root: VSpace, ipc_buffer: Word, ipc_buffer_frame: Granule ) -> Result<()>

Corresponds to seL4_TCB_Configure.

pub fn tcb_set_space( self, fault_ep: CPtr, cspace_root: CNode, cspace_root_data: CNodeCapData, vspace_root: VSpace ) -> Result<()>

Corresponds to seL4_TCB_SetSpace.

pub fn tcb_set_sched_params( self, authority: Tcb, mcp: Word, priority: Word, sched_context: SchedContext, fault_ep: Endpoint ) -> Result<()>

Corresponds to seL4_TCB_SetSchedParams.

pub fn tcb_set_timeout_endpoint(self, timeout_endpoint: Endpoint) -> Result<()>

pub fn tcb_set_tls_base(self, tls_base: Word) -> Result<()>

Corresponds to seL4_TCB_SetTLSBase.

pub fn tcb_bind_notification(self, notification: Notification) -> Result<()>

Corresponds to seL4_TCB_BindNotification.

pub fn tcb_unbind_notification(self) -> Result<()>

Corresponds to seL4_TCB_UnbindNotification.

impl<C: InvocationContext> Tcb<C>

pub fn debug_name(self, name: &[u8])

Corresponds to seL4_DebugNameThread.