x86: include/asm-x86/paravirt.h: x86_64 mmu operations