|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
A smaller frame on the UTCB. More...
#include <utcb.h>
Public Member Functions | |
| unsigned | received_item (unsigned skip=0) |
| Returns the skip-th delegated capability range descriptor. | |
| unsigned | received_cap () |
| Returns the first capability in the first range delegated to us. | |
| Crd | translated_cap (unsigned skip=0) |
| unsigned | identity (unsigned skip=0) |
| void | dump_typed_items () |
| unsigned | untyped () |
| unsigned | typed () |
| unsigned | get_crd () |
| template<typename T > | |
| bool | get_word (T &value) |
| Copy an arbitrarily sized data item from the Frame and moves an internal pointer to the next item. | |
| unsigned * | get_ptr () |
| unsigned short | unconsumed () |
| char * | get_string (unsigned &len) |
| char * | get_zero_string (unsigned &len) |
| Frame & | operator<< (Crd value) |
| Set receive window for the next call. This will not work with StaticPortalFunc! Use this only in custom protocols. | |
| Frame (Utcb *utcb, unsigned end) | |
Private Attributes | |
| Utcb * | _utcb |
| unsigned | _end |
| unsigned | _consumed |
A smaller frame on the UTCB.
Can only be used to read incoming messages.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Copy an arbitrarily sized data item from the Frame and moves an internal pointer to the next item.
|
inline |
|
inline |
Set receive window for the next call. This will not work with StaticPortalFunc! Use this only in custom protocols.
|
inline |
Returns the first capability in the first range delegated to us.
|
inline |
Returns the skip-th delegated capability range descriptor.
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |