taglinefilesource code
__divqu24arch/alpha/kernel/ksyms.cextern void __divqu (void);
__divqu48arch/alpha/kernel/ksyms.cX(__divqu),
__divqu78arch/alpha/kernel/ksyms.cXNOVERS(__divqu),