ddk.h

Go to the documentation of this file.

/* -------------------------------------------
 
  Copyright Amlal El Mahrouss.
 
  FILE: ddk.h
  PURPOSE: DDK Driver model base header.
 
------------------------------------------- */
 
#pragma once
 
#include <DDKKit/macros.h>
 
struct DDK_STATUS_STRUCT;
struct DDK_OBJECT_MANIFEST;

struct DDK_OBJECT_MANIFEST DDK_FINAL {
  char*   p_name;
  int32_t p_kind;
  void*   p_object;
};

struct DDK_STATUS_STRUCT DDK_FINAL {
  int32_t                     s_action_id;
  int32_t                     s_issuer_id;
  int32_t                     s_group_id;
  struct DDK_OBJECT_MANIFEST* s_object;
};

DDK_EXTERN void* ke_call(const char* name, int32_t cnt, void* dat, size_t sz);

DDK_EXTERN void ke_add_syscall(const int32_t slot, void (*slotFn)(void* a0));

DDK_EXTERN void* kalloc(size_t sz);

DDK_EXTERN void kfree(void* the_ptr);

DDK_EXTERN struct DDK_OBJECT_MANIFEST* ke_get_obj(const int slot, const char* name);

DDK_EXTERN void* ke_set_obj(const int32_t slot, const struct DDK_OBJECT_MANIFEST* ddk_pr);

DDK_EXTERN int32_t kApiVersionHighest;

DDK_EXTERN int32_t kApiVersionLowest;

DDK_EXTERN int32_t kApiVersion;