fsys_bubble_down  192 arch/ia64/kernel/patch.c 	extern char fsys_bubble_down[];
fsys_bubble_down  199 arch/ia64/kernel/patch.c 				 (u64) (fsys_bubble_down - (ip & -16)) / 16);