Update

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

diff --git a/kernel/fiasco/src/types/arm/types-arch.h b/kernel/fiasco/src/types/arm/types-arch.h
index 17e8007c70ba7ca64decfbc3390f939c8ea6ee3d..6eaa11f0708eaa31cf8fa1d77f5e6baad12c7193 100644 (file)
--- a/kernel/fiasco/src/types/arm/types-arch.h
+++ b/kernel/fiasco/src/types/arm/types-arch.h
@@ -29,6 +29,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          Address;
 enum Address_vals