MULTI_update_va_mapping  769 arch/x86/xen/mmu_pv.c 		MULTI_update_va_mapping(mcs.mc, (unsigned long)pt,
MULTI_update_va_mapping  906 arch/x86/xen/mmu_pv.c 		MULTI_update_va_mapping(mcs.mc, (unsigned long)pt,
MULTI_update_va_mapping 1626 arch/x86/xen/mmu_pv.c 	MULTI_update_va_mapping(mcs.mc, (unsigned long)addr,
MULTI_update_va_mapping 2489 arch/x86/xen/mmu_pv.c 		MULTI_update_va_mapping(mcs.mc, vaddr, VOID_PTE, 0);
MULTI_update_va_mapping 2532 arch/x86/xen/mmu_pv.c 		MULTI_update_va_mapping(mcs.mc, vaddr,