Barrelfish
|
< address space size information More...
Data Fields | |
uint8_t | physical |
Maximum physical byte address size in bits. | |
uint8_t | virtual |
Maximum linear byte address size in bits. | |
uint8_t | guest_physical |
maximum guest physical byte address size in bits | |
< address space size information