taglinefilesource code
__divlu22arch/alpha/kernel/ksyms.cextern void __divlu (void);
__divlu47arch/alpha/kernel/ksyms.cX(__divlu),
__divlu81arch/alpha/kernel/ksyms.cXNOVERS(__divlu),