NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for Utcb::TypedMapCap, including all inherited members.
fill_words(unsigned *ptr) | Utcb::TypedMapCap | inline |
hotspot | Utcb::TypedMapCap | |
TypedMapCap(unsigned cap, unsigned attr=DESC_CAP_ALL, unsigned hotspot=0, unsigned hbits=MAP_MAP) | Utcb::TypedMapCap | inline |
TypedMapCap(Crd crd, unsigned hotspot=0, unsigned hbits=MAP_MAP) | Utcb::TypedMapCap | inline |
value | Utcb::TypedMapCap |