diff options
Diffstat (limited to 'src/common')
| -rw-r--r-- | src/common/page_table.cpp | 1 | ||||
| -rw-r--r-- | src/common/page_table.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/common/page_table.cpp b/src/common/page_table.cpp index b744b68ce..4b1690269 100644 --- a/src/common/page_table.cpp +++ b/src/common/page_table.cpp | |||
| @@ -66,6 +66,7 @@ void PageTable::Resize(std::size_t address_space_width_in_bits, std::size_t page | |||
| 66 | << (address_space_width_in_bits - page_size_in_bits)}; | 66 | << (address_space_width_in_bits - page_size_in_bits)}; |
| 67 | pointers.resize(num_page_table_entries); | 67 | pointers.resize(num_page_table_entries); |
| 68 | backing_addr.resize(num_page_table_entries); | 68 | backing_addr.resize(num_page_table_entries); |
| 69 | blocks.resize(num_page_table_entries); | ||
| 69 | current_address_space_width_in_bits = address_space_width_in_bits; | 70 | current_address_space_width_in_bits = address_space_width_in_bits; |
| 70 | page_size = 1ULL << page_size_in_bits; | 71 | page_size = 1ULL << page_size_in_bits; |
| 71 | } | 72 | } |
diff --git a/src/common/page_table.h b/src/common/page_table.h index 1ad3a9f8b..fec8378f3 100644 --- a/src/common/page_table.h +++ b/src/common/page_table.h | |||
| @@ -122,6 +122,7 @@ struct PageTable { | |||
| 122 | * corresponding attribute element is of type `Memory`. | 122 | * corresponding attribute element is of type `Memory`. |
| 123 | */ | 123 | */ |
| 124 | VirtualBuffer<PageInfo> pointers; | 124 | VirtualBuffer<PageInfo> pointers; |
| 125 | VirtualBuffer<u64> blocks; | ||
| 125 | 126 | ||
| 126 | VirtualBuffer<u64> backing_addr; | 127 | VirtualBuffer<u64> backing_addr; |
| 127 | 128 | ||