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));