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