taglinefilesource code
__divlu51kernel/ksyms.cextern void __divlu (void);
__divlu152kernel/ksyms.cX(__divlu),