tasking: fix syscall handling, use debug_log instead of printf in some places

include/stdio.h

@@ -10,4 +10,16 @@ int printf(const char* __restrict, ...);
 int putchar(int);
 int puts(const char*);
 
+//#define KATAU_DEBUG
+
+#ifdef KATAU_DEBUG
+#define debug_log printf
+#else
+
+static int debug_log(const char* restrict format, ...)
+{
+}
+
+#endif
+
 #endif

include/task.h

@@ -38,7 +38,7 @@ typedef struct __attribute__((packed)) TrapFrame {
     uint32_t gs,fs,es,ds;
     uint32_t edi, esi, ebp, esp, ebx, edx, ecx, eax;
 
-    //uint32_t interrupt, error;
+    uint32_t interrupt, error;
 
     uint32_t eip, cs, eflags, usermode_esp, usermode_ss;