NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Used with << operator to set up "delegate" typed item in UTCB. More...
#include <utcb.h>
Public Member Functions | |
void | fill_words (unsigned *ptr) |
DEPRECATED | TypedMapCap (unsigned cap, unsigned attr=DESC_CAP_ALL, unsigned hotspot=0, unsigned hbits=MAP_MAP) |
TypedMapCap (Crd crd, unsigned hotspot=0, unsigned hbits=MAP_MAP) |
Public Attributes | |
unsigned | value |
unsigned | hotspot |
Used with << operator to set up "delegate" typed item in UTCB.
|
inline |
|
inline |
unsigned Utcb::TypedMapCap::hotspot |
unsigned Utcb::TypedMapCap::value |