Index: kernel/arch/ia64/include/bootinfo.h
===================================================================
--- kernel/arch/ia64/include/bootinfo.h	(revision 31198c1215c4e4a979a6f8e80df9c8c170c13886)
+++ kernel/arch/ia64/include/bootinfo.h	(revision d0c82c531ddd91c5c32e571f69768c044cf234b2)
@@ -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