ia64_patch_vtop    23 arch/ia64/include/asm/patch.h extern void ia64_patch_vtop (unsigned long start, unsigned long end);
ia64_patch_vtop   215 arch/ia64/kernel/patch.c 	ia64_patch_vtop(START(vtop), END(vtop));
ia64_patch_vtop   555 arch/ia64/kernel/setup.c 	ia64_patch_vtop((u64) __start___vtop_patchlist, (u64) __end___vtop_patchlist);