feat: test: Add `kout` test and rename DeviceInterface to IDevice in KernelKit.

introduce UserPtr and unburden vettable by removing the IVettable helper.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

4 files changed, 10 insertions, 10 deletions

diff --git a/src/kernel/HALKit/AMD64/HalDebugOutput.cc b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
index f35e7a57..71e20ce6 100644
--- a/src/kernel/HALKit/AMD64/HalDebugOutput.cc
+++ b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
@@ -61,7 +61,7 @@ TerminalDevice::~TerminalDevice() = default;
 STATIC SizeT kX = kFontSizeX, kY = kFontSizeY;
 #endif  // __DEBUG__
 
-EXTERN_C void ke_utf_io_write(DeviceInterface<const Utf8Char*>* obj, const Utf8Char* bytes) {
+EXTERN_C void ke_utf_io_write(IDevice<const Utf8Char*>* obj, const Utf8Char* bytes) {
   NE_UNUSED(bytes);
   NE_UNUSED(obj);
 
@@ -117,7 +117,7 @@ EXTERN_C void ke_utf_io_write(DeviceInterface<const Utf8Char*>* obj, const Utf8C
 #endif  // __DEBUG__
 }
 
-EXTERN_C void ke_io_write(DeviceInterface<const Char*>* obj, const Char* bytes) {
+EXTERN_C void ke_io_write(IDevice<const Char*>* obj, const Char* bytes) {
   NE_UNUSED(bytes);
   NE_UNUSED(obj);
 
@@ -173,7 +173,7 @@ EXTERN_C void ke_io_write(DeviceInterface<const Char*>* obj, const Char* bytes)
 #endif  // __DEBUG__
 }
 
-EXTERN_C void ke_io_read(DeviceInterface<const Char*>*, const Char* bytes) {
+EXTERN_C void ke_io_read(IDevice<const Char*>*, const Char* bytes) {
   NE_UNUSED(bytes);
 
 #ifdef __DEBUG__
@@ -220,7 +220,7 @@ Utf8TerminalDevice::~Utf8TerminalDevice() = default;
 
 Utf8TerminalDevice Utf8TerminalDevice::The() {
   Utf8TerminalDevice out(Kernel::ke_utf_io_write,
-                         [](DeviceInterface<const Utf8Char*>*, const Utf8Char*) -> Void {});
+                         [](IDevice<const Utf8Char*>*, const Utf8Char*) -> Void {});
   return out;
 }
 
diff --git a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
index d97884ff..561b03cb 100644
--- a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
@@ -545,7 +545,7 @@ namespace Detail {
   /// @brief Read AHCI device.
   /// @param self device
   /// @param mnt mounted disk.
-  STATIC Void sk_io_read_ahci(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
+  STATIC Void sk_io_read_ahci(IDevice<IMountpoint*>* self, IMountpoint* mnt) {
     AHCIDeviceInterface* dev = (AHCIDeviceInterface*) self;
 
     err_global_get() = kErrorDisk;
@@ -566,7 +566,7 @@ namespace Detail {
   /// @brief Write AHCI device.
   /// @param self device
   /// @param mnt mounted disk.
-  STATIC Void sk_io_write_ahci(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
+  STATIC Void sk_io_write_ahci(IDevice<IMountpoint*>* self, IMountpoint* mnt) {
     AHCIDeviceInterface* dev = (AHCIDeviceInterface*) self;
 
     err_global_get() = kErrorDisk;
diff --git a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
index 81a79c6f..a62884f9 100644
--- a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
@@ -197,7 +197,7 @@ namespace Detail {
   /// @brief Read PIO device.
   /// @param self device
   /// @param mnt mounted disk.
-  STATIC Void sk_io_read_pio(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
+  STATIC Void sk_io_read_pio(IDevice<IMountpoint*>* self, IMountpoint* mnt) {
     ATADeviceInterface* dev = (ATADeviceInterface*) self;
 
     err_global_get() = kErrorDisk;
@@ -218,7 +218,7 @@ namespace Detail {
   /// @brief Write PIO device.
   /// @param self device
   /// @param mnt mounted disk.
-  STATIC Void sk_io_write_pio(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
+  STATIC Void sk_io_write_pio(IDevice<IMountpoint*>* self, IMountpoint* mnt) {
     ATADeviceInterface* dev = (ATADeviceInterface*) self;
 
     err_global_get() = kErrorDisk;
diff --git a/src/kernel/HALKit/ARM64/HalDebugOutput.cc b/src/kernel/HALKit/ARM64/HalDebugOutput.cc
index 22a41dbf..2a49bb56 100644
--- a/src/kernel/HALKit/ARM64/HalDebugOutput.cc
+++ b/src/kernel/HALKit/ARM64/HalDebugOutput.cc
@@ -10,7 +10,7 @@
 #include <NeKit/Utils.h>
 
 namespace Kernel {
-EXTERN_C void ke_io_write(DeviceInterface<const Char*>* self, const Char* bytes) {
+EXTERN_C void ke_io_write(IDevice<const Char*>* self, const Char* bytes) {
 #ifdef __DEBUG__
   if (*bytes == 0) return;
 
@@ -33,7 +33,7 @@ EXTERN_C void ke_io_write(DeviceInterface<const Char*>* self, const Char* bytes)
 
 TerminalDevice::~TerminalDevice() = default;
 
-EXTERN_C void ke_io_read(DeviceInterface<const Char*>* self, const Char* bytes) {
+EXTERN_C void ke_io_read(IDevice<const Char*>* self, const Char* bytes) {
 #ifdef __DEBUG__
   SizeT index = 0;