Index: kernel/arch/ia64/include/bootinfo.h
===================================================================
--- kernel/arch/ia64/include/bootinfo.h	(revision 1d6c497244b6b4a696141801fb93857f268fe3d9)
+++ kernel/arch/ia64/include/bootinfo.h	(revision 807102ca92b8bf938835cd4c70cfca021daf7c13)
@@ -30,6 +30,4 @@
 #define KERN_ia64_BOOTINFO_H_
 
-#define BOOTINFO_ADDRESS 0x4401000
-
 #define TASKMAP_MAX_RECORDS  32
 
@@ -37,6 +35,4 @@
 
 #define EFI_MEMMAP_FREE_MEM 0
-#define EFI_MEMMAP_IO 1
-#define EFI_MEMMAP_IO_PORTS 2
 
 /** Size of buffer for storing task name in binit_task_t. */
@@ -75,6 +71,3 @@
 extern bootinfo_t *bootinfo;
 
-extern void start(void);
-extern void bootstrap(void);
-
 #endif