176,6 → 176,7 |
|
/** I-/D-TLB Tag Read Register. */ |
union tlb_tag_read_reg { |
// TODO have a look at how non-8kB pages will be treated |
uint64_t value; |
struct { |
uint64_t vpn : 51; /**< Virtual Address bits 63:13. */ |
430,8 → 431,7 |
* @param entry TLB Entry index. |
* @param value Value to be written. |
*/ |
static inline void itlb_data_access_write(int tlb, index_t entry, |
uint64_t value) |
static inline void itlb_data_access_write(int tlb, index_t entry, uint64_t value) |
{ |
itlb_data_access_addr_t reg; |
|
465,8 → 465,7 |
* @param entry TLB Entry index. |
* @param value Value to be written. |
*/ |
static inline void dtlb_data_access_write(int tlb, index_t entry, |
uint64_t value) |
static inline void dtlb_data_access_write(int tlb, index_t entry, uint64_t value) |
{ |
dtlb_data_access_addr_t reg; |
|