From b5450cecbffdca1dd9dffdb58dd295a6a5d7f6eb Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 27 Jul 2026 18:09:27 +0200
Subject: x86_64: port PIT to devices resources

---
 kapi/kapi/devices.hpp          | 1 +
 kapi/kapi/devices/resource.hpp | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'kapi')

diff --git a/kapi/kapi/devices.hpp b/kapi/kapi/devices.hpp
index 124cd2bb..8c0c238e 100644
--- a/kapi/kapi/devices.hpp
+++ b/kapi/kapi/devices.hpp
@@ -11,6 +11,7 @@
 #include <kapi/devices/driver_registry.hpp>  // IWYU pragma: export
 #include <kapi/devices/error.hpp>            // IWYU pragma: export
 #include <kapi/devices/facet_registry.hpp>   // IWYU pragma: export
+#include <kapi/devices/resource.hpp>         // IWYU pragma: export
 
 #include <kstd/memory.hpp>
 #include <kstd/result.hpp>
diff --git a/kapi/kapi/devices/resource.hpp b/kapi/kapi/devices/resource.hpp
index 6a682594..bcad5dd5 100644
--- a/kapi/kapi/devices/resource.hpp
+++ b/kapi/kapi/devices/resource.hpp
@@ -1,6 +1,8 @@
 #ifndef TEACHOS_KAPI_DEVICES_RESOURCE_HPP
 #define TEACHOS_KAPI_DEVICES_RESOURCE_HPP
 
+// IWYU pragma: private, include <kapi/devices.hpp>
+
 #include <kapi/memory.hpp>
 #include <kapi/system.hpp>
 
-- 
cgit v1.2.3