Searched refs:values (Results 26 - 28 of 28) sorted by relevance

12

/seL4-refos-master/projects/refos/design/
H A Dinterface.tex46 This section describes a number of important protocols that \refOS employs. As noted in \autoref{mNotation} of this document, each protocol description consists of the server that is receiving and handling the method invocation via an endpoint, the name of the interface that the server implements, the name of the method call and the arguments that are passed to the method call and the return values, output variables and/or reply capabilities of the method invocation. Note that for simplification some method names differ slightly between this document and \refOS's implementation.
/seL4-refos-master/kernel/manual/parts/
H A Dcspace.tex342 significant bits of the capability address. If the two values are
H A Dio.tex97 read from I/O ports are required to return two values -- the value read

Completed in 31 milliseconds

12