Barrelfish
|
Structure to record all information about a given memory region. More...
Data Fields | |
struct capref | cap |
Cap for this region. | |
uint8_t | sizebits |
Size of region in bits. | |
genpaddr_t | base |
Physical base address of region. | |
Structure to record all information about a given memory region.