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