static void dmult(uint32_t a, uint32_t b, uint32_t *cHigh, uint32_t *cLow)

{

       uint64_t temp3;

       uint64_t temp1 = a;

        uint64_t temp2 = b;

        temp3 = temp1 * temp2;

        *cHigh = temp3>>32;

         *cLow = temp3;

}

以上为我的函数，编译器的报错是找不到__muldi3.如下图，我看这个文件中有一些类似的汇编函数，但是找不到__muldi3。（我是用的是tlsr8258的B85M_BLE_SDK）