tag	line	file	source code
__divl	18	arch/alpha/kernel/ksyms.c	extern void __divl (void);
__divl	36	arch/alpha/kernel/ksyms.c	X(__divl),
__divl	69	arch/alpha/kernel/ksyms.c	XNOVERS(__divl),