taglinefilesource code
__divl47kernel/ksyms.cextern void __divl (void);
__divl148kernel/ksyms.cX(__divl),