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, 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_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_X86_PDPT_Map( &mut self, service: seL4_X86_PDPT, pml4: seL4_X64_PML4, vaddr: seL4_Word, attr: Type, ) -> Type

pub fn seL4_X86_PDPT_Unmap(&mut self, service: seL4_X86_PDPT) -> Type

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

pub fn seL4_X86_PageDirectory_Unmap( &mut self, service: seL4_X86_PageDirectory, ) -> Type

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

pub fn seL4_X86_PageTable_Unmap(&mut self, service: seL4_X86_PageTable) -> Type

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

pub fn seL4_X86_Page_Unmap(&mut self, service: seL4_X86_Page) -> Type

pub fn seL4_X86_Page_GetAddress( &mut self, service: seL4_X86_Page, ) -> seL4_X86_Page_GetAddress_ret

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

pub fn seL4_X86_ASIDPool_Assign( &mut self, service: seL4_X86_ASIDPool, vspace: seL4_CPtr, ) -> Type

pub fn seL4_X86_IOPortControl_Issue( &mut self, service: seL4_X86_IOPortControl, first_port: seL4_Word, last_port: seL4_Word, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ) -> Type

pub fn seL4_X86_IOPort_In8( &mut self, service: seL4_X86_IOPort, port: seL4_Uint16, ) -> seL4_X86_IOPort_In8_ret

pub fn seL4_X86_IOPort_In16( &mut self, service: seL4_X86_IOPort, port: seL4_Uint16, ) -> seL4_X86_IOPort_In16_ret

pub fn seL4_X86_IOPort_In32( &mut self, service: seL4_X86_IOPort, port: seL4_Uint16, ) -> seL4_X86_IOPort_In32_ret

pub fn seL4_X86_IOPort_Out8( &mut self, service: seL4_X86_IOPort, port: seL4_Word, data: seL4_Word, ) -> Type

pub fn seL4_X86_IOPort_Out16( &mut self, service: seL4_X86_IOPort, port: seL4_Word, data: seL4_Word, ) -> Type

pub fn seL4_X86_IOPort_Out32( &mut self, service: seL4_X86_IOPort, port: seL4_Word, data: seL4_Word, ) -> Type

pub fn seL4_IRQControl_GetIOAPIC( &mut self, service: seL4_IRQControl, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, ioapic: seL4_Word, pin: seL4_Word, level: seL4_Word, polarity: seL4_Word, vector: seL4_Word, ) -> Type

pub fn seL4_IRQControl_GetMSI( &mut self, service: seL4_IRQControl, root: seL4_CNode, index: seL4_Word, depth: seL4_Uint8, pci_bus: seL4_Word, pci_dev: seL4_Word, pci_func: seL4_Word, handle: seL4_Word, vector: seL4_Word, ) -> 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)