TLB and Pagewalk Coherence in X86 Processors
blog.stuffedcow.net
blog.stuffedcow.net
This one motivates virtual memory:
https://www.youtube.com/watch?v=3kRBVdnLBW4
This one gives a high level view of how everything works:
Is there actually doubt about this? I'd been taking for granted that page walks went through the standard cache hierarchy on recent Intel, but I guess I don't have a definitive source for this belief.