driver_base.h

Go to the documentation of this file.

/* ========================================
 
   Copyright Amlal El Mahrouss 2025, licensed under the Apache 2.0 license.
 
   FILE: driver_base.h
   PURPOSE: IDriverBase and friends.
 
   ======================================== */
 
#pragma once
 
#include <CompilerKit/CompilerKit.h>
#include <libDDK/DriverKit/macros.h>
 
#define DKI_DRIVER_IMPL \
  final:                \
  public                \
  ::Kernel::DDK::IDriverBase

 
namespace Kernel::DDK {
constexpr auto kInvalidType = 0;
 
class IDriverBase {
 public:
  explicit IDriverBase() = default;
  virtual ~IDriverBase() = default;
 
  NE_COPY_DEFAULT(IDriverBase);
 
  using PtrType = VoidPtr;
 
  virtual BOOL            IsCastable() { return NO; }
  virtual constexpr BOOL  IsActive() { return NO; }
  virtual PtrType         Leak() { return nullptr; }
  virtual constexpr Int32 Type() { return kInvalidType; }
};

template <typename T>
concept IsValidDriver = requires(T driver_base) {
  { driver_base.IsActive() && driver_base.Type() > kInvalidType };
};

template <IsValidDriver T>
consteval void ce_ddk_is_valid(T) {}
}  // namespace Kernel::DDK