write_cr3 80 arch/x86/include/asm/paravirt.h PVOP_VCALL1(pv_mmu_ops.write_cr3, x); write_cr3 233 arch/x86/include/asm/paravirt_types.h void (*write_cr3)(unsigned long); write_cr3 203 arch/x86/include/asm/processor.h write_cr3(__pa(pgdir));