ddk: update to 3.12-rc6, part 2

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

drivers/include/syscall.h

@@ -143,6 +143,19 @@ int dbgprintf(const char* format, ...);
 
 ///////////////////////////////////////////////////////////////////////////////
 
+static inline int CreateKernelThread(void *entry)
+{
+    int pid;
+     __asm__ __volatile__ (
+     "call *__imp__CreateThread"
+     :"=a"(pid)
+     :"b"(1),"c"(entry),"d"(0)
+     :"memory");
+     __asm__ __volatile__ ("":::"ebx","ecx","edx","esi","edi");
+     return pid;
+};
+
+
 static inline evhandle_t CreateEvent(kevent_t *ev, u32_t flags)
 {
      evhandle_t evh;