Merge branch 'fmorgner/x86-64-double-fault-handling' into 'develop'

x86_64: handle double faults

See merge request teachos/kernel!59

1 files changed, 3 insertions, 3 deletions

diff --git a/docs/guides/device-drivers.rst b/docs/guides/device-drivers.rst
index 3d3da182..a4bfe433 100644
--- a/docs/guides/device-drivers.rst
+++ b/docs/guides/device-drivers.rst
@@ -143,14 +143,14 @@ TeachOS's simplest real bus, ``kernel::bus::pseudo`` (``kernel/kernel/bus/pseudo
    {
      explicit pseudo(kstd::string name);
    protected:
-     auto query_facet(kapi::capabilities::facet_id facet) -> void * override;
+     auto query_facet(kapi::capabilities::facet_id facet) -> kstd::observer_ptr<void> override;
    private:
      pseudo_signature m_signature{*this};
    };
 
-   auto pseudo::query_facet(kapi::capabilities::facet_id facet) -> void *
+   auto pseudo::query_facet(kapi::capabilities::facet_id facet) -> kstd::observer_ptr<void>
    {
-     if (facet == kernel::bus::pseudo_signature::id) { return &m_signature; }
+     if (facet == kernel::bus::pseudo_signature::id) { return kstd::observer_ptr{&m_signature}; }
      return device::query_facet(facet);
    }