diff --git a/sys/arm64/include/debug_monitor.h b/sys/arm64/include/debug_monitor.h
index 487b37b5e47d..4ca1a4c9248e 100644
--- a/sys/arm64/include/debug_monitor.h
+++ b/sys/arm64/include/debug_monitor.h
@@ -32,8 +32,6 @@
 #ifndef _MACHINE_DEBUG_MONITOR_H_
 #define	_MACHINE_DEBUG_MONITOR_H_
 
-#ifdef _KERNEL
-
 #define	DBG_BRP_MAX	16
 #define	DBG_WRP_MAX	16
 
@@ -48,6 +46,8 @@ struct debug_monitor_state {
 	uint64_t	dbg_wvr[DBG_WRP_MAX];
 };
 
+#ifdef _KERNEL
+
 enum dbg_access_t {
 	HW_BREAKPOINT_X		= 0,
 	HW_BREAKPOINT_R		= 1,