xen_cleanhighmap 1247 arch/x86/xen/mmu_pv.c 		xen_cleanhighmap(addr, addr + size);
xen_cleanhighmap 1273 arch/x86/xen/mmu_pv.c 	xen_cleanhighmap(addr, roundup(addr + size, PMD_SIZE * 2));