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 |