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