tag	line	file	source code
__divlu	22	arch/alpha/kernel/ksyms.c	extern void __divlu (void);
__divlu	46	arch/alpha/kernel/ksyms.c	X(__divlu),
__divlu	76	arch/alpha/kernel/ksyms.c	XNOVERS(__divlu),