diff --git a/sys/mips/ingenic/jz4780_clock.c b/sys/mips/ingenic/jz4780_clock.c
index 7a6a989d5e9..f743e193c7a 100644
--- a/sys/mips/ingenic/jz4780_clock.c
+++ b/sys/mips/ingenic/jz4780_clock.c
@@ -55,7 +55,7 @@ __FBSDID("$FreeBSD$");
 
 #include "clkdev_if.h"
 
-#include <gnu/dts/include/dt-bindings/clock/jz4780-cgu.h>
+#include <dt-bindings/clock/jz4780-cgu.h>
 
 /**********************************************************************
  *  JZ4780 CGU clock domain
diff --git a/sys/mips/ingenic/jz4780_gpio.c b/sys/mips/ingenic/jz4780_gpio.c
index fe1de7ccb91..77d1f5baaa3 100644
--- a/sys/mips/ingenic/jz4780_gpio.c
+++ b/sys/mips/ingenic/jz4780_gpio.c
@@ -51,7 +51,7 @@ __FBSDID("$FreeBSD$");
 #include <dev/ofw/ofw_bus_subr.h>
 
 #include <mips/ingenic/jz4780_regs.h>
-#include <gnu/dts/include/dt-bindings/interrupt-controller/irq.h>
+#include <dt-bindings/interrupt-controller/irq.h>
 
 #include "jz4780_gpio_if.h"
 #include "gpio_if.h"
diff --git a/sys/mips/mediatek/mtk_gpio_v1.c b/sys/mips/mediatek/mtk_gpio_v1.c
index 2771c6610d3..8c7df30f81e 100644
--- a/sys/mips/mediatek/mtk_gpio_v1.c
+++ b/sys/mips/mediatek/mtk_gpio_v1.c
@@ -52,7 +52,7 @@ __FBSDID("$FreeBSD$");
 #include <dev/ofw/ofw_bus.h>
 #include <dev/ofw/ofw_bus_subr.h>
 
-#include <gnu/dts/include/dt-bindings/interrupt-controller/irq.h>
+#include <dt-bindings/interrupt-controller/irq.h>
 
 #include "gpio_if.h"
 #include "pic_if.h"
diff --git a/sys/mips/mediatek/mtk_gpio_v2.c b/sys/mips/mediatek/mtk_gpio_v2.c
index cd1708261fd..677c42c64c0 100644
--- a/sys/mips/mediatek/mtk_gpio_v2.c
+++ b/sys/mips/mediatek/mtk_gpio_v2.c
@@ -52,7 +52,7 @@ __FBSDID("$FreeBSD$");
 #include <dev/ofw/ofw_bus.h>
 #include <dev/ofw/ofw_bus_subr.h>
 
-#include <gnu/dts/include/dt-bindings/interrupt-controller/irq.h>
+#include <dt-bindings/interrupt-controller/irq.h>
 
 #include "gpio_if.h"
 #include "pic_if.h"