uint128 FStar_UInt128_uint64_to_uint128(uint64_t a);
      |                                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
verified/Hacl_Kremlib.h:46:24: error: 'FStar_UInt128_uint128_to_uint64' declared 'static' but never defined [-Werror=unused-function]
   46 | inline static uint64_t FStar_UInt128_uint128_to_uint64(FStar_UInt128_uint128 a);
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from verified/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23,
                 from verified/kremlin/include/kremlin/internal/types.h:78,
                 from verified/Hacl_Poly1305_32.h:24,
                 from verified/Hacl_Poly1305_32.c:24:
verified/kremlin/kremlib/dist/minimal/FStar_UInt128.h:82:37: error: 'FStar_UInt128_mul32' declared 'static' but never defined [-Werror=unused-function]
   82 | inline static FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y);
      |                                     ^~~~~~~~~~~~~~~~~~~
In file included from verified/Hacl_Poly1305_32.h:32,
                 from verified/Hacl_Poly1305_32.c:24:
verified/Hacl_Kremlib.h:48:37: error: 'FStar_UInt128_mul_wide' declared 'static' but never defined [-Werror=unused-function]
   48 | inline static FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
      |                                     ^~~~~~~~~~~~~~~~~~~~~~
In file included from verified/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:25,
                 from verified/kremlin/include/kremlin/internal/types.h:78,
                 from verified/Hacl_Poly1305_32.h:24,
                 from verified/Hacl_Poly1305_32.c:24:
verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:23:20: error: 'store128_le' declared 'static' but never defined [-Werror=unused-function]
   23 | inline static void store128_le(uint8_t *x0, FStar_UInt128_uint128 x1);
      |                    ^~~~~~~~~~~
verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:25:37: error: 'load128_le' declared 'static' but never defined [-Werror=unused-function]
   25 | inline static FStar_UInt128_uint128 load128_le(uint8_t *x0);
      |                                     ^~~~~~~~~~
verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:27:20: error: 'store128_be' declared 'static' but never defined [-Werror=unused-function]
   27 | inline static void store128_be(uint8_t *x0, FStar_UInt128_uint128 x1);
      |                    ^~~~~~~~~~~
verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:29:37: error: 'load128_be' declared 'static' but never defined [-Werror=unused-function]
   29 | inline static FStar_UInt128_uint128 load128_be(uint8_t *x0);
      |                                     ^~~~~~~~~~
cc1: all warnings being treated as errors
make[3]: *** [../../coreconf/rules.mk:393: Linux5.5_riscv64_cc_glibc_PTH_64_OPT.OBJ/Linux_SINGLE_SHLIB/Hacl_Poly1305_32.o] Error 1
make[3]: Leaving directory '/builddir/build/BUILD/nss-3.51.1/nss/lib/freebl'
make[2]: *** [Makefile:639: libs] Error 2
make[2]: Leaving directory '/builddir/build/BUILD/nss-3.51.1/nss/lib/freebl'
make[1]: *** [../coreconf/rules.mk:101: libs] Error 2
make[1]: Leaving directory '/builddir/build/BUILD/nss-3.51.1/nss/lib'
make: *** [coreconf/rules.mk:101: libs] Error 2
make: Leaving directory '/builddir/build/BUILD/nss-3.51.1/nss'
error: Bad exit status from /var/tmp/rpm-tmp.fGYmPi (%build)
RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.fGYmPi (%build)
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.8/site-packages/mockbuild/trace_decorator.py", line 95, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.8/site-packages/mockbuild/util.py", line 746, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/nss.spec