> Future work > =========== > - print_bad_page_map() and show_pte() still prints dummy values > instead of printing the same content for all generic compile-time > folded page tables. We might want to skip printing dummy values later. > > - We currently catch abuse of dummy values on the stack at compile-time by > relying on constant propagation by the compiler. Usama's work [3] on using > distinct types for sw vs. hw PTEs could help here as well."
Just adding here that this series was excessively build tested (both by me + Yeoreum and the friendly build bots), and primarily tested on arm64 only so far with differing page table level configurations. There is the chance that there might still be some odd configs that reveal set_pgd() etc places to rework: so the build bots better should chew some more on this. I want to do some more testing, especially on x86 (32bit), but did not get to it yet. -- Cheers, David
