|
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 |