Extra warning in case we find a cache disable bit

This commit is contained in:
Thomas Oltmann 2025-05-30 17:43:12 +02:00
parent 6fabbba9e4
commit 0632490ed9

View file

@ -305,6 +305,10 @@ static void pt_get_ranges_rec(struct ppn ppn, int level, uint64_t virt_prev,
continue; continue;
} }
if (ent.cache_disable) {
printf("CACHE DISABLED ON LEVEL %d!\n", level);
}
uint64_t virt_part = i << (12 + 9*(level - 1)); uint64_t virt_part = i << (12 + 9*(level - 1));
uint64_t virt_new = virt_prev | virt_part; uint64_t virt_new = virt_prev | virt_part;