tag	line	file	source code
__divqu	53	kernel/ksyms.c	extern void __divqu (void);
__divqu	154	kernel/ksyms.c	X(__divqu),