Changes in kernel/arch/ia32/include/proc/thread.h [df4ed85:d99c1d2] in mainline

File:

• kernel/arch/ia32/include/proc/thread.h (modified) (2 diffs)

kernel/arch/ia32/include/proc/thread.h

@@ -36 +36 @@
 #define KERN_ia32_THREAD_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef struct {
@@ -42 +42 @@
 } thread_arch_t;
 
-#define thr_constructor_arch(t)
-#define thr_destructor_arch(t)
+#define thr_constructor_arch(thr)
+#define thr_destructor_arch(thr)
 
 #endif