diff --git a/src/arch/relic_arch_a64.c b/src/arch/relic_arch_a64.c
index 26a3a2939..1c4f1bd72 100644
--- a/src/arch/relic_arch_a64.c
+++ b/src/arch/relic_arch_a64.c
@@ -240,5 +240,5 @@ uint_t arch_lzcnt(dig_t x) {
 }
 
 uint_t arch_tzcnt(dig_t x) {
-	return core_get()->tzcnt_ptr((ull_t)x) - (8 * sizeof(ull_t) - WSIZE);
+	return core_get()->tzcnt_ptr(x);
 }