MMU_NORMAL_PT_UPDATE  269 arch/x86/xen/mmu_pv.c 	u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE;
MMU_NORMAL_PT_UPDATE  290 arch/x86/xen/mmu_pv.c 		u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE;
MMU_NORMAL_PT_UPDATE 2708 arch/x86/xen/mmu_pv.c 		MMU_NORMAL_PT_UPDATE;