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