taglinefilesource code
__divq20arch/alpha/kernel/ksyms.cextern void __divq (void);
__divq38arch/alpha/kernel/ksyms.cX(__divq),
__divq71arch/alpha/kernel/ksyms.cXNOVERS(__divq),