X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/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 e601c2f3c..639808432 100644
--- 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