Searched refs:transfer (Results 1 – 8 of 8) sorted by relevance
57 cap_transfer_t transfer; in capTransferFromWords() local59 transfer.ctReceiveRoot = (cptr_t)wptr[0]; in capTransferFromWords()60 transfer.ctReceiveIndex = (cptr_t)wptr[1]; in capTransferFromWords()61 transfer.ctReceiveDepth = wptr[2]; in capTransferFromWords()62 return transfer; in capTransferFromWords()
42 \autoref{sec:cap-transfer}.57 \ipcparam{seL4\_CPtr[]}{(in)}{caps}{Capabilities to transfer}79 kernel uses as many physical registers as possible to transfer IPC82 \texttt{msg} field to transfer arguments. However, it leaves room in84 transfer or kernel object invocation required141 \label{sec:cap-transfer}147 result in transfer of the raw message, without any capability transfer.191 no IPC or capability transfer takes place. The system call will return212 destination slot is invalid and will instead transfer badged220 An error will not void the entire transfer, it will just end it[all …]
36 \autoref{sec:cap-transfer}). Furthermore, new capabilities can be
32 cap transfer.
110 xlnx,num-transfer-bits = <0x8>;
93 transfer the Work, where such license applies only to those patent claims
110 transfer the Work, where such license applies only to those patent claims
53 making any electronic components of the Work accessible by file transfer protocols
Completed in 11 milliseconds