tag	line	file	source code
__divl	48	kernel/ksyms.c	extern void __divl (void);
__divl	152	kernel/ksyms.c	X(__divl),