This experiment shows that a page table walk does not issue additional instructions that could be observed using the rdinstret instruction.

Run make followed by ./main

U74 (timing difference and retired instruction difference), C906, C910, C908 (timing difference)