sel4_sys

Struct seL4_IPCBuffer_

Source 
#[repr(C)]
pub struct seL4_IPCBuffer_ {
    pub tag: seL4_MessageInfo_t,
    pub msg: [seL4_Word; 120],
    pub userData: seL4_Word,
    pub caps_or_badges: [seL4_Word; 3],
    pub receiveCNode: seL4_CPtr,
    pub receiveIndex: seL4_CPtr,
    pub receiveDepth: seL4_Word,
}

Fields§

§tag: seL4_MessageInfo_t§msg: [seL4_Word; 120]§userData: seL4_Word§caps_or_badges: [seL4_Word; 3]§receiveCNode: seL4_CPtr§receiveIndex: seL4_CPtr§receiveDepth: seL4_Word

Implementations§

Source§

impl seL4_IPCBuffer_

Source

pub fn seL4_Untyped_Retype( &mut self, service: seL4_Untyped, type: seL4_Word, size_bits: seL4_Word, root: seL4_CNode, node_index: seL4_Word, node_depth: seL4_Word, node_offset: seL4_Word, num_objects: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_ReadRegisters( &mut self, service: seL4_TCB, suspend_source: seL4_Bool, arch_flags: seL4_Uint8, count: seL4_Word, regs: &mut seL4_UserContext, ) -> Type

Source

pub fn seL4_TCB_WriteRegisters( &mut self, service: seL4_TCB, resume_target: seL4_Bool, arch_flags: seL4_Uint8, count: seL4_Word, regs: &seL4_UserContext, ) -> Type

Source

pub fn seL4_TCB_CopyRegisters( &mut self, service: seL4_TCB, source: seL4_TCB, suspend_source: seL4_Bool, resume_target: seL4_Bool, transfer_frame: seL4_Bool, transfer_integer: seL4_Bool, arch_flags: seL4_Uint8, ) -> Type

Source

pub fn seL4_TCB_Configure( &mut self, service: seL4_TCB, fault_ep: seL4_Word, cspace_root: seL4_CNode, cspace_root_data: seL4_Word, vspace_root: seL4_CPtr, vspace_root_data: seL4_Word, buffer: seL4_Word, bufferFrame: seL4_CPtr, ) -> Type

Source

pub fn seL4_TCB_SetPriority( &mut self, service: seL4_TCB, authority: seL4_TCB, priority: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_SetMCPriority( &mut self, service: seL4_TCB, authority: seL4_TCB, mcp: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_SetSchedParams( &mut self, service: seL4_TCB, authority: seL4_TCB, mcp: seL4_Word, priority: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_SetIPCBuffer( &mut self, service: seL4_TCB, buffer: seL4_Word, bufferFrame: seL4_CPtr, ) -> Type

Source

pub fn seL4_TCB_SetSpace( &mut self, service: seL4_TCB, fault_ep: seL4_Word, cspace_root: seL4_CNode, cspace_root_data: seL4_Word, vspace_root: seL4_CPtr, vspace_root_data: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_Suspend(&mut self, service: seL4_TCB) -> Type

Source

pub fn seL4_TCB_Resume(&mut self, service: seL4_TCB) -> Type

Source

pub fn seL4_TCB_BindNotification( &mut self, service: seL4_TCB, notification: seL4_CPtr, ) -> Type

Source

pub fn seL4_TCB_UnbindNotification(&mut self, service: seL4_TCB) -> Type

Source

pub fn seL4_TCB_SetAffinity( &mut self, service: seL4_TCB, affinity: seL4_Word, ) -> Type

Source

pub fn seL4_TCB_SetTLSBase( &mut self, service: seL4_TCB, tls_base: seL4_Word, ) -> Type

Source

pub fn seL4_CNode_Revoke( &mut self, service: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_CNode_Delete( &mut self, service: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_CNode_CancelBadgedSends( &mut self, service: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_CNode_Copy( &mut self, service: seL4_CNode, dest_index: seL4_Word, dest_depth: seL4_Uint8, src_root: seL4_CNode, src_index: seL4_Word, src_depth: seL4_Uint8, rights: seL4_CapRights_t, ) -> Type

Source

pub fn seL4_CNode_Mint( &mut self, service: seL4_CNode, dest_index: seL4_Word, dest_depth: seL4_Uint8, src_root: seL4_CNode, src_index: seL4_Word, src_depth: seL4_Uint8, rights: seL4_CapRights_t, badge: seL4_Word, ) -> Type

Source

pub fn seL4_CNode_Move( &mut self, service: seL4_CNode, dest_index: seL4_Word, dest_depth: seL4_Uint8, src_root: seL4_CNode, src_index: seL4_Word, src_depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_CNode_Mutate( &mut self, service: seL4_CNode, dest_index: seL4_Word, dest_depth: seL4_Uint8, src_root: seL4_CNode, src_index: seL4_Word, src_depth: seL4_Uint8, badge: seL4_Word, ) -> Type

Source

pub fn seL4_CNode_Rotate( &mut self, service: seL4_CNode, dest_index: seL4_Word, dest_depth: seL4_Uint8, dest_badge: seL4_Word, pivot_root: seL4_CNode, pivot_index: seL4_Word, pivot_depth: seL4_Uint8, pivot_badge: seL4_Word, src_root: seL4_CNode, src_index: seL4_Word, src_depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_CNode_SaveCaller( &mut self, service: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_IRQControl_Get( &mut self, service: seL4_IRQControl, irq: seL4_Word, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_IRQHandler_Ack(&mut self, service: seL4_IRQHandler) -> Type

Source

pub fn seL4_IRQHandler_SetNotification( &mut self, service: seL4_IRQHandler, notification: seL4_CPtr, ) -> Type

Source

pub fn seL4_IRQHandler_Clear(&mut self, service: seL4_IRQHandler) -> Type

Source

pub fn seL4_DomainSet_Set( &mut self, service: seL4_DomainSet, domain: seL4_Uint8, thread: seL4_TCB, ) -> Type

Source

pub fn seL4_ARM_VSpace_Clean_Data( &mut self, service: seL4_ARM_VSpace, start: seL4_Word, end: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_VSpace_Invalidate_Data( &mut self, service: seL4_ARM_VSpace, start: seL4_Word, end: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_VSpace_CleanInvalidate_Data( &mut self, service: seL4_ARM_VSpace, start: seL4_Word, end: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_VSpace_Unify_Instruction( &mut self, service: seL4_ARM_VSpace, start: seL4_Word, end: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_SMC_Call( &mut self, service: seL4_ARM_SMC, smc_args: &seL4_ARM_SMCContext, smc_response: &mut seL4_ARM_SMCContext, ) -> Type

Source

pub fn seL4_ARM_PageTable_Map( &mut self, service: seL4_ARM_PageTable, vspace: seL4_CPtr, vaddr: seL4_Word, attr: Type, ) -> Type

Source

pub fn seL4_ARM_PageTable_Unmap(&mut self, service: seL4_ARM_PageTable) -> Type

Source

pub fn seL4_ARM_Page_Map( &mut self, service: seL4_ARM_Page, vspace: seL4_CPtr, vaddr: seL4_Word, rights: seL4_CapRights_t, attr: Type, ) -> Type

Source

pub fn seL4_ARM_Page_Unmap(&mut self, service: seL4_ARM_Page) -> Type

Source

pub fn seL4_ARM_Page_Clean_Data( &mut self, service: seL4_ARM_Page, start_offset: seL4_Word, end_offset: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_Page_Invalidate_Data( &mut self, service: seL4_ARM_Page, start_offset: seL4_Word, end_offset: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_Page_CleanInvalidate_Data( &mut self, service: seL4_ARM_Page, start_offset: seL4_Word, end_offset: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_Page_Unify_Instruction( &mut self, service: seL4_ARM_Page, start_offset: seL4_Word, end_offset: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_Page_GetAddress( &mut self, service: seL4_ARM_Page, ) -> seL4_ARM_Page_GetAddress_ret

Source

pub fn seL4_ARM_ASIDControl_MakePool( &mut self, service: seL4_ARM_ASIDControl, untyped: seL4_Untyped, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_ARM_ASIDPool_Assign( &mut self, service: seL4_ARM_ASIDPool, vspace: seL4_CPtr, ) -> Type

Source

pub fn seL4_ARM_VCPU_SetTCB( &mut self, service: seL4_ARM_VCPU, tcb: seL4_TCB, ) -> Type

Source

pub fn seL4_ARM_VCPU_InjectIRQ( &mut self, service: seL4_ARM_VCPU, virq: seL4_Uint16, priority: seL4_Uint8, group: seL4_Uint8, index: seL4_Uint8, ) -> Type

Source

pub fn seL4_ARM_VCPU_ReadRegs( &mut self, service: seL4_ARM_VCPU, field: Type, ) -> seL4_ARM_VCPU_ReadRegs_ret

Source

pub fn seL4_ARM_VCPU_WriteRegs( &mut self, service: seL4_ARM_VCPU, field: Type, value: seL4_Word, ) -> Type

Source

pub fn seL4_ARM_VCPU_AckVPPI( &mut self, service: seL4_ARM_VCPU, irq: seL4_Word, ) -> Type

Source

pub fn seL4_IRQControl_GetTrigger( &mut self, service: seL4_IRQControl, irq: seL4_Word, trigger: seL4_Word, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

Source

pub fn seL4_IRQControl_GetTriggerCore( &mut self, service: seL4_IRQControl, irq: seL4_Word, trigger: seL4_Word, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, target: seL4_Word, ) -> Type

Source§

impl seL4_IPCBuffer_

Source

pub fn seL4_Send(&mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo)

Source

pub fn seL4_SendWithMRs( &mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo, msg0: Option<seL4_Word>, msg1: Option<seL4_Word>, msg2: Option<seL4_Word>, msg3: Option<seL4_Word>, )

Source

pub fn seL4_NBSend(&mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo)

Source

pub fn seL4_NBSendWithMRs( &mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo, msg0: Option<seL4_Word>, msg1: Option<seL4_Word>, msg2: Option<seL4_Word>, msg3: Option<seL4_Word>, )

Source

pub fn seL4_Reply(&mut self, msg_info: seL4_MessageInfo)

Source

pub fn seL4_ReplyWithMRs( &mut self, msg_info: seL4_MessageInfo, msg0: Option<seL4_Word>, msg1: Option<seL4_Word>, msg2: Option<seL4_Word>, msg3: Option<seL4_Word>, )

Source

pub fn seL4_Signal(&mut self, dest: seL4_CPtr)

Source

pub fn seL4_Recv( &mut self, src: seL4_CPtr, reply_authority: ReplyAuthority, ) -> (seL4_MessageInfo, seL4_Word)

Source

pub fn seL4_RecvWithMRs( &mut self, src: seL4_CPtr, msg0: Option<&mut seL4_Word>, msg1: Option<&mut seL4_Word>, msg2: Option<&mut seL4_Word>, msg3: Option<&mut seL4_Word>, reply_authority: ReplyAuthority, ) -> (seL4_MessageInfo, seL4_Word)

Source

pub fn seL4_NBRecv( &mut self, src: seL4_CPtr, reply_authority: ReplyAuthority, ) -> (seL4_MessageInfo, seL4_Word)

Source

pub fn seL4_Call( &mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo, ) -> seL4_MessageInfo

Source

pub fn seL4_CallWithMRs( &mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo, msg0: Option<&mut seL4_Word>, msg1: Option<&mut seL4_Word>, msg2: Option<&mut seL4_Word>, msg3: Option<&mut seL4_Word>, ) -> seL4_MessageInfo

Source

pub fn seL4_ReplyRecv( &mut self, src: seL4_CPtr, msg_info: seL4_MessageInfo, reply_authority: ReplyAuthority, ) -> (seL4_MessageInfo, seL4_Word)

Source

pub fn seL4_Wait(&mut self, src: seL4_CPtr) -> (WaitMessageInfo, seL4_Word)

Source

pub fn seL4_Poll(&mut self, src: seL4_CPtr) -> (seL4_MessageInfo, seL4_Word)

Trait Implementations§

Source§

impl Default for seL4_IPCBuffer_

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

§

impl Freeze for seL4_IPCBuffer_

§

impl RefUnwindSafe for seL4_IPCBuffer_

§

impl Send for seL4_IPCBuffer_

§

impl Sync for seL4_IPCBuffer_

§

impl Unpin for seL4_IPCBuffer_

§

impl UnwindSafe for seL4_IPCBuffer_

Blanket Implementations§

§

impl<T> Any for T
where T: 'static + ?Sized,

§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<T> Borrow<T> for T
where T: ?Sized,

§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
§

impl<T> BorrowMut<T> for T
where T: ?Sized,

§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> From<T> for T

§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T, U> Into<U> for T
where U: From<T>,

§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.