I tried matching Bochs' source code on Paging with page faults for reserved bits being set in the PDE/PTE:
- bit 12 for 12 bits (mask 3FF000) with the highest bit not checked in PAE mode for 4MB/2MB page.
- No bits checked for 4KB PDE/PTE.

Would that be correct? I previously set it to fault on bit 8(on PTE and 2/4MB PDE when the global bit isn't enabled in CR4) and bit 7(PTE only) as well, but not according to Bochs? According to bochs, those bits don't fault?

Do those lower bits (bits 8 and 7) fault at all when being set for any combination of PSE/PAE?