1)rename libdrv -> libddk

2)thread safe malloc
3)linux dma_pool_* 

git-svn-id: svn://kolibrios.org@1616 a494cfbc-eb01-0410-851d-a64ba20cac60

drivers/include/ddk.h

@@ -0,0 +1,56 @@
+
+#ifndef __DDK_H__
+#define __DDK_H__
+
+#include <kernel.h>
+
+#define OS_BASE             0x80000000
+
+#define PG_SW               0x003
+#define PG_NOCACHE          0x018
+
+#define MANUAL_DESTROY      0x80000000
+
+typedef struct
+{
+    u32_t  code;
+    u32_t  data[5];
+}kevent_t;
+
+typedef union
+{
+    struct
+    {
+        u32_t handle;
+        u32_t euid;
+    };
+    u64_t raw;
+}evhandle_t;
+
+typedef struct
+{
+  u32_t      handle;
+  u32_t      io_code;
+  void       *input;
+  int        inp_size;
+  void       *output;
+  int        out_size;
+}ioctl_t;
+
+typedef int (__stdcall *srv_proc_t)(ioctl_t *);
+
+#define ERR_OK       0
+#define ERR_PARAM   -1
+
+
+struct ddk_params;
+
+int   ddk_init(struct ddk_params *params);
+
+u32_t drvEntry(int, char *)__asm__("_drvEntry");
+
+
+
+
+
+#endif      /*    DDK_H    */