Index: kernel/arch/ia64/include/mm/page.h
===================================================================
--- kernel/arch/ia64/include/mm/page.h	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/ia64/include/mm/page.h	(revision 056ddc301e4424ece6667c2456e0e37110d4cdbe)
@@ -57,9 +57,9 @@
 
 /* Firmware area (bellow 4GB in phys mem) */
-#define FW_OFFSET   0x00000000F0000000
+#define FW_OFFSET   0x00000000F0000000	// FIXME: [non-ident]
 /* Legacy IO space */
-#define IO_OFFSET   0x0001000000000000
+#define IO_OFFSET   0x0001000000000000	// FIXME: [non-ident]
 /* Videoram - now mapped to 0 as VGA text mode vram on 0xb8000 */
-#define VIO_OFFSET  0x0002000000000000
+#define VIO_OFFSET  0x0002000000000000	// FIXME: [non-ident]
 
 
Index: kernel/arch/ia64/src/start.S
===================================================================
--- kernel/arch/ia64/src/start.S	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/ia64/src/start.S	(revision 056ddc301e4424ece6667c2456e0e37110d4cdbe)
@@ -38,7 +38,7 @@
 #define KERNEL_TRANSLATION_I    0x0010000000000661
 #define KERNEL_TRANSLATION_D    0x0010000000000661
-#define KERNEL_TRANSLATION_VIO  0x0010000000000671
-#define KERNEL_TRANSLATION_IO   0x00100FFFFC000671
-#define KERNEL_TRANSLATION_FW   0x00100000F0000671
+#define KERNEL_TRANSLATION_VIO  0x0010000000000671	// FIXME: [non-ident]
+#define KERNEL_TRANSLATION_IO   0x00100FFFFC000671	// FIXME: [non-ident]
+#define KERNEL_TRANSLATION_FW   0x00100000F0000671	// FIXME: [non-ident]
 
 .section K_TEXT_START, "ax"