__end___vtop_patchlist   18 arch/ia64/include/asm/sections.h extern char __start___vtop_patchlist[], __end___vtop_patchlist[];
__end___vtop_patchlist  555 arch/ia64/kernel/setup.c 	ia64_patch_vtop((u64) __start___vtop_patchlist, (u64) __end___vtop_patchlist);