git: a1b9b97d9679 - main - arm64/spe: Fix the GENERIC-NODEBUG build

From: Mark Johnston <markj_at_FreeBSD.org>
Date: Thu, 13 Nov 2025 13:56:00 UTC
The branch main has been updated by markj:

URL: https://cgit.FreeBSD.org/src/commit/?id=a1b9b97d9679c9c4d31d86c924f1d6f06f972579

commit a1b9b97d9679c9c4d31d86c924f1d6f06f972579
Author:     Mark Johnston <markj@FreeBSD.org>
AuthorDate: 2025-11-13 13:54:53 +0000
Commit:     Mark Johnston <markj@FreeBSD.org>
CommitDate: 2025-11-13 13:54:53 +0000

    arm64/spe: Fix the GENERIC-NODEBUG build
    
    Fixes:  68f185ccc9f8 ("arm64: Add Arm SPE support")
---
 sys/arm64/spe/arm_spe_dev.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/arm64/spe/arm_spe_dev.c b/sys/arm64/spe/arm_spe_dev.c
index 54623eebda21..8a834197eeef 100644
--- a/sys/arm64/spe/arm_spe_dev.c
+++ b/sys/arm64/spe/arm_spe_dev.c
@@ -35,6 +35,7 @@
 #include <sys/event.h>
 #include <sys/hwt.h>
 #include <sys/kernel.h>
+#include <sys/lock.h>
 #include <sys/malloc.h>
 #include <sys/module.h>
 #include <sys/mutex.h>