Symbol: xen_cleanhighmap
arch/x86/xen/mmu_pv.c
1222
xen_cleanhighmap(addr, addr + size);
arch/x86/xen/mmu_pv.c
1248
xen_cleanhighmap(addr, roundup(addr + size, PMD_SIZE * 2));