1 files changed, 0 insertions, 32 deletions
diff --git a/dev/libDDK/src/ddk_alloc.c b/dev/libDDK/src/ddk_alloc.c
deleted file mode 100644
index 09f3034f..00000000
--- a/dev/libDDK/src/ddk_alloc.c
+++ /dev/null
@@ -1,32 +0,0 @@
-/* ========================================
-
-  Copyright Amlal El Mahrouss.
-
-  Purpose: DDK allocator.
-
-======================================== */
-
-#include <DriverKit/ddk.h>
-
-/**
-  \brief Allocates a new heap on the Kernel's side.
-  \param sz the size of the heap block.
-  \return the newly allocated pointer.
-*/
-DDK_EXTERN void* kalloc(size_t sz) {
-  if (!sz) ++sz;
-
-  void* ptr = ke_call_dispatch("mm_alloc_ptr", 1, &sz, sizeof(size_t));
-
-  return ptr;
-}
-
-/**
-  \brief Frees a pointer from the heap.
-  \param ptr the pointer to free.
-*/
-DDK_EXTERN void kfree(void* ptr) {
-  if (!ptr) return;
-
-  ke_call_dispatch("mm_free_ptr", 1, ptr, 0);
-}