L4Re - L4 Runtime Environment
|
List of variable-sized RPC parameters as received by the server. More...
Public Member Functions | |
Varg_list_ref () | |
Create an empty parameter list. | |
Varg_list_ref (void const *start, void const *end) | |
Create a parameter list over a given memory region. More... | |
Varg | next () |
Get the next parameter in the list. | |
List of variable-sized RPC parameters as received by the server.
The list can be traversed exactly once using next().
This is a reference list, where the returned Varg point to data in the underlying storage, conventionally the UTCB. This type should only be used in server functions when the implementation can ensure that all content is read before the UTCB is reused (e.g. for IPC), otherwise use Varg_list.
|
inline |