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 4a01dfffdc57e6d48f8d9c5df4abcc3ece09a589..685519b7a86a94bb6c67a8fa85b68b86839e9c0c 100644 (file)
--- a/kernel/fiasco/src/types/ia32/types-arch.h
+++ b/kernel/fiasco/src/types/ia32/types-arch.h
@@ -30,6 +30,13 @@ enum {
 
 /// (virtual or physical address) should be addr_t or something
 typedef unsigned long int      Address;
+enum Address_vals
+#ifdef __cplusplus
+: Address
+#endif
+{
+  Invalid_address = ~0UL
+};
 
 typedef Unsigned64 Cpu_time;