Type Alias seL4_IPCBuffer 

pub type seL4_IPCBuffer = seL4_IPCBuffer_;

Aliased Type

#[repr(C)]
pub struct seL4_IPCBuffer {
    pub tag: seL4_MessageInfo,
    pub msg: [u64; 120],
    pub userData: u64,
    pub caps_or_badges: [u64; 3],
    pub receiveCNode: u64,
    pub receiveIndex: u64,
    pub receiveDepth: u64,
}

Fields

tag: seL4_MessageInfo

msg: [u64; 120]

userData: u64

caps_or_badges: [u64; 3]

receiveCNode: u64

receiveIndex: u64

receiveDepth: u64

Implementations

impl seL4_IPCBuffer

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

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

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

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

pub fn seL4_TCB_Configure( &mut self, service: seL4_TCB, 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

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

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

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

pub fn seL4_TCB_SetTimeoutEndpoint( &mut self, service: seL4_TCB, timeout_fault_ep: seL4_CPtr, ) -> Type

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pub fn seL4_SchedControl_ConfigureFlags( &mut self, service: seL4_SchedControl, schedcontext: seL4_SchedContext, budget: seL4_Time, period: seL4_Time, extra_refills: seL4_Word, badge: seL4_Word, flags: seL4_Word, ) -> Type

pub fn seL4_SchedContext_Bind( &mut self, service: seL4_SchedContext, cap: seL4_CPtr, ) -> Type

pub fn seL4_SchedContext_Unbind(&mut self, service: seL4_SchedContext) -> Type

pub fn seL4_SchedContext_UnbindObject( &mut self, service: seL4_SchedContext, cap: seL4_CPtr, ) -> Type

pub fn seL4_SchedContext_Consumed( &mut self, service: seL4_SchedContext, ) -> seL4_SchedContext_Consumed_ret

pub fn seL4_SchedContext_YieldTo( &mut self, service: seL4_SchedContext, ) -> seL4_SchedContext_YieldTo_ret

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl seL4_IPCBuffer

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

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>, )

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

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>, )

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

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

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)

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

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

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

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

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

pub fn seL4_NBSendWait( &mut self, dest: seL4_CPtr, msg_info: seL4_MessageInfo, src: seL4_CPtr, ) -> (seL4_MessageInfo, seL4_Word)

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

pub fn seL4_WaitWithMRs( &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>, ) -> (WaitMessageInfo, seL4_Word)

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

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