Barrelfish
|
< tlb information structure More...
Data Fields | |
cpuid_cachetype_t | type |
type of this tlb | |
uint32_t | pagesize |
page size | |
uint32_t | entries |
number of entries | |
uint32_t | associativity |
associativity | |
uint8_t | level |
level | |
< tlb information structure