add __ctzdi2 to sparc64 kernel
authorjsg <jsg@openbsd.org>
Wed, 14 Dec 2022 23:50:31 +0000 (23:50 +0000)
committerjsg <jsg@openbsd.org>
Wed, 14 Dec 2022 23:50:31 +0000 (23:50 +0000)
commit614862c8bb76e418c62102ea04c9b99d3f680d40
treef2a260dc347f013f26f402fb525743dc7ae921f9
parent635d3c69cac38a6861b4af218872c35befde9a64
add __ctzdi2 to sparc64 kernel

If __builtin_ctzl() is used on sparc64, gcc 4.2 will emit a call to
__ctzdi2.  For userland this is in libgcc or compiler-rt.  In the kernel
we put these functions in libkern.

'looks good' deraadt@ miod@
sys/arch/sparc64/conf/files.sparc64
sys/lib/libkern/ctzdi2.c [new file with mode: 0644]