From 36b6b74679833866837d7bc412ba81ebd2c86136 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Sat, 25 Jul 2026 00:18:29 +0200 Subject: chore: minor cleanups --- kapi/kapi/capabilities/interface_id.hpp | 4 ++-- kapi/kapi/devices/device_registry.hpp | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'kapi') 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 @@ -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. -- cgit v1.2.3