chore: replace some naked pointers

The coding guidelines explicitly prohibit the use of "naked"/C-style
pointers. However, there were some prominent examples in the kapi and
the core kernel source. This changeset replaces them with the
appropriate smart pointer types.

1 files changed, 2 insertions, 1 deletions

diff --git a/kernel/kapi/devices/driver.cpp b/kernel/kapi/devices/driver.cpp
index 5ca92dc8..0f103cbc 100644
--- a/kernel/kapi/devices/driver.cpp
+++ b/kernel/kapi/devices/driver.cpp
@@ -1,6 +1,7 @@
 #include <kapi/capabilities/facet_id.hpp>
 #include <kapi/devices.hpp>
 
+#include <kstd/memory.hpp>
 #include <kstd/result.hpp>
 
 #include <cstdint>
@@ -29,7 +30,7 @@ namespace kapi::devices
     return kstd::success();
   }
 
-  auto driver::query_facet(kapi::capabilities::facet_id) -> void *
+  auto driver::query_facet(kapi::capabilities::facet_id) -> kstd::observer_ptr<void>
   {
     return nullptr;
   }