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..17e8007c70ba7ca64decfbc3390f939c8ea6ee3d 100644 (file)
--- a/kernel/fiasco/src/types/arm/types-arch.h
+++ b/kernel/fiasco/src/types/arm/types-arch.h
@@ -41,4 +41,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__