diff --git a/sys/libkern/arm64/crc32c_armv8.S b/sys/libkern/arm64/crc32c_armv8.S
index e5d0ff80d97b..6a1991262a33 100644
--- a/sys/libkern/arm64/crc32c_armv8.S
+++ b/sys/libkern/arm64/crc32c_armv8.S
@@ -27,7 +27,8 @@
 
 #include <machine/asm.h>
 __FBSDID("$FreeBSD$");
-.arch armv8-a+crc
+
+.arch_extension crc
 
 /*
  * uint32_t