Update

[l4.git] / kernel / fiasco / src / types / ia32 / types-arch.h

diff --git a/kernel/fiasco/src/types/ia32/types-arch.h b/kernel/fiasco/src/types/ia32/types-arch.h
index e601c2f3c815671d2a4520b7fc63f62106d1f0b8..63980843229233ee199359f1c580998aa9a039da 100644 (file)
--- a/kernel/fiasco/src/types/ia32/types-arch.h
+++ b/kernel/fiasco/src/types/ia32/types-arch.h
@@ -28,6 +28,8 @@ enum {
   ARCH_PAGE_SHIFT = 12,
 };
 
+typedef signed char Small_atomic_int;
+
 /// (virtual or physical address) should be addr_t or something
 typedef unsigned long int      Address;
 enum Address_vals