update

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

diff --git a/kernel/fiasco/src/types/amd64/types-arch.h b/kernel/fiasco/src/types/amd64/types-arch.h
index 6676bf830e4eda87fa566ccd11b886c952473688..f4ebd75c468390a86d3f1390e1501c47e9e21c70 100644 (file)
--- a/kernel/fiasco/src/types/amd64/types-arch.h
+++ b/kernel/fiasco/src/types/amd64/types-arch.h
@@ -31,6 +31,13 @@ enum {
 /// virtual or physical address in 32 bit mode (bootup)
 /// (virtual or physical address) should be addr_t or something
 typedef Mword                   Address;
+enum Address_vals
+#ifdef __cplusplus
+: Address
+#endif
+{
+  Invalid_address = ~0UL
+};
 
 typedef Unsigned64              Cpu_time;