008c777a9f
Also fix multiple places where we were using uint8_t as page table flags instead of PageTable::flags_t which we promoted to uint16_t while back. |
||
---|---|---|
.. | ||
i386 | ||
x86_64 |
008c777a9f
Also fix multiple places where we were using uint8_t as page table flags instead of PageTable::flags_t which we promoted to uint16_t while back. |
||
---|---|---|
.. | ||
i386 | ||
x86_64 |