diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/common/page_table.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/common/page_table.h b/src/common/page_table.h index 9908947ac..a5be7a668 100644 --- a/src/common/page_table.h +++ b/src/common/page_table.h | |||
| @@ -54,6 +54,8 @@ struct PageTable { | |||
| 54 | * a given address space. | 54 | * a given address space. |
| 55 | * | 55 | * |
| 56 | * @param address_space_width_in_bits The address size width in bits. | 56 | * @param address_space_width_in_bits The address size width in bits. |
| 57 | * @param page_size_in_bits The page size in bits. | ||
| 58 | * @param has_attribute Whether or not this page has any backing attributes. | ||
| 57 | */ | 59 | */ |
| 58 | void Resize(std::size_t address_space_width_in_bits, std::size_t page_size_in_bits, | 60 | void Resize(std::size_t address_space_width_in_bits, std::size_t page_size_in_bits, |
| 59 | bool has_attribute); | 61 | bool has_attribute); |