Bananymous 008c777a9f Kernel: Add PageTable::Flags::CacheDisable ...

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.

2023-08-06 23:59:30 +03:00

..

kernel

Kernel: Add PageTable::Flags::CacheDisable

2023-08-06 23:59:30 +03:00