X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/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 6676bf830..f4ebd75c4 100644
--- 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;