Justin C. Miller dc30437ce7 [kernel] Remove page_table's cache counter ...

The `s_cache_count` counter had the potential to get out of sync with
the cache itself. Since we only call `fill_table_page_cache()` when the
cache is empty, the counter was not useful. After chasing the bug for
hours to figure out how they were getting out of sync, I just ripped it
out.

2023-02-14 20:29:40 -08:00

7.2 KiB

Raw Blame History

View Raw