Type Alias seL4_IPCBuffer 

pub type seL4_IPCBuffer = seL4_IPCBuffer_;

Aliased Type

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

Fields

tag: seL4_MessageInfo

msg: [u32; 120]

userData: u32

caps_or_badges: [u32; 3]

receiveCNode: u32

receiveIndex: u32

receiveDepth: u32

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

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, ) -> 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_Word, 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_TCB_SetFlags( &mut self, service: seL4_TCB, clear: seL4_Word, set: seL4_Word, ) -> seL4_TCB_SetFlags_ret

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_CNode_SaveCaller( &mut self, service: seL4_CNode, index: seL4_Word, 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_RISCV_PageTable_Map( &mut self, service: seL4_RISCV_PageTable, vspace: seL4_RISCV_PageTable, vaddr: seL4_Word, attr: Type, ) -> Type

pub fn seL4_RISCV_PageTable_Unmap( &mut self, service: seL4_RISCV_PageTable, ) -> Type

pub fn seL4_RISCV_Page_Map( &mut self, service: seL4_RISCV_Page, vspace: seL4_RISCV_PageTable, vaddr: seL4_Word, rights: seL4_CapRights_t, attr: Type, ) -> Type

pub fn seL4_RISCV_Page_Unmap(&mut self, service: seL4_RISCV_Page) -> Type

pub fn seL4_RISCV_Page_GetAddress( &mut self, service: seL4_RISCV_Page, ) -> seL4_RISCV_Page_GetAddress_ret

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

pub fn seL4_RISCV_ASIDPool_Assign( &mut self, service: seL4_RISCV_ASIDPool, vspace: seL4_CPtr, ) -> 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_Reply(&mut self, msg_info: seL4_MessageInfo)

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

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_Wait(&mut self, src: seL4_CPtr) -> (WaitMessageInfo, seL4_Word)

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