aboutsummaryrefslogtreecommitdiff
path: root/kapi
diff options
context:
space:
mode:
Diffstat (limited to 'kapi')
-rw-r--r--kapi/kapi/capabilities/interface_id.hpp4
-rw-r--r--kapi/kapi/devices/device_registry.hpp6
2 files changed, 5 insertions, 5 deletions
diff --git a/kapi/kapi/capabilities/interface_id.hpp b/kapi/kapi/capabilities/interface_id.hpp
index 2bd6097d..8e6870cc 100644
--- a/kapi/kapi/capabilities/interface_id.hpp
+++ b/kapi/kapi/capabilities/interface_id.hpp
@@ -1,5 +1,5 @@
-#ifndef TEACHOS_KAPI_CAPABILITIES_INTERFACE_HPP
-#define TEACHOS_KAPI_CAPABILITIES_INTERFACE_HPP
+#ifndef TEACHOS_KAPI_CAPABILITIES_INTERFACE_ID_HPP
+#define TEACHOS_KAPI_CAPABILITIES_INTERFACE_ID_HPP
// IWYU pragma: private
diff --git a/kapi/kapi/devices/device_registry.hpp b/kapi/kapi/devices/device_registry.hpp
index 00d04311..3952db66 100644
--- a/kapi/kapi/devices/device_registry.hpp
+++ b/kapi/kapi/devices/device_registry.hpp
@@ -1,5 +1,5 @@
-#ifndef TEACHOS_KAPI_DEVICES_MANAGER_HPP
-#define TEACHOS_KAPI_DEVICES_MANAGER_HPP
+#ifndef TEACHOS_KAPI_DEVICES_DEVICE_REGISTRY_HPP
+#define TEACHOS_KAPI_DEVICES_DEVICE_REGISTRY_HPP
// IWYU pragma: private, include <kapi/devices.hpp>
@@ -26,7 +26,7 @@ namespace kapi::devices
auto static get() -> device_registry &;
- //! Add a new device tp the kernel's device registry.
+ //! Add a new device to the kernel's device registry.
//!
//! @param device The device to register.
//! @return true if the device was registered successfully, false otherwise.