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 7b5fa1b6b47b86b6c0476aa6401b50362dd09406..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
@@ -41,4 +43,12 @@ enum Address_vals
 
 typedef Unsigned64             Cpu_time;
 
+#ifdef __cplusplus
+
+#include <cxx/cxx_int>
+
+typedef cxx::int_type<unsigned char, struct Cpu_phys_id_t> Cpu_phys_id;
+
+#endif
+
 #endif // TYPES_ARCH_H__