From a3bfaab46ae53a77df2747b42e6f91640f703802 Mon Sep 17 00:00:00 2001
From: Dasky <32983009+daskygit@users.noreply.github.com>
Date: Mon, 18 Sep 2023 19:55:51 +0100
Subject: [PATCH] Add missing gpio include to ps2 vendor (#22063)

---
 platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c b/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
index d775ec29d59b..119c6354b06f 100644
--- a/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
+++ b/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
@@ -1,6 +1,7 @@
 // Copyright 2022 Marek Kraus (@gamelaster)
 // SPDX-License-Identifier: GPL-2.0-or-later
 
+#include "gpio.h"
 #include "hardware/pio.h"
 #include "hardware/clocks.h"
 #include "ps2.h"