diff --git a/sys/dev/hptrr/hptrr_os_bsd.c b/sys/dev/hptrr/hptrr_os_bsd.c
index ee74d21e9445..a469e1b668d3 100644
--- a/sys/dev/hptrr/hptrr_os_bsd.c
+++ b/sys/dev/hptrr/hptrr_os_bsd.c
@@ -298,5 +298,5 @@ void __os_dbgbreak(const char *file, int line)
     while (1);
 }
 
-int hpt_dbg_level = 1;
+int hptrr_dbg_level = 1;
 #endif
diff --git a/sys/dev/hptrr/osm.h b/sys/dev/hptrr/osm.h
index f991eaf4272f..d0134adebb62 100644
--- a/sys/dev/hptrr/osm.h
+++ b/sys/dev/hptrr/osm.h
@@ -188,8 +188,8 @@ HPT_U8 os_get_vbus_seq(void *osext);
 int  os_printk(char *fmt, ...);
 
 #ifdef DBG
-extern int hpt_dbg_level;
-#define KdPrint(x)  do { if (hpt_dbg_level) os_printk x; } while (0)
+extern int hptrr_dbg_level;
+#define KdPrint(x)  do { if (hptrr_dbg_level) os_printk x; } while (0)
 void __os_dbgbreak(const char *file, int line);
 #define os_dbgbreak() __os_dbgbreak(__FILE__, __LINE__)
 #define HPT_ASSERT(x) do { if (!(x)) os_dbgbreak(); } while (0)