Index: boot/arch/ia64/loader/asm.h
===================================================================
--- boot/arch/ia64/loader/asm.h	(revision 2a18193cff1ab235b82cb6c1fd4897417beec7c3)
+++ boot/arch/ia64/loader/asm.h	(revision bc7d44c8c94c3e6939ba5054dd1878bd7e3674f7)
@@ -34,13 +34,10 @@
 #include "main.h"
 
-#define PAGE_WIDTH	14
-#define PAGE_SIZE	(1 << PAGE_WIDTH)
+#define PAGE_WIDTH  14
+#define PAGE_SIZE   (1 << PAGE_WIDTH)
 
-#define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
+#define BALLOC_MAX_SIZE  (128 * 1024)
 
 extern void halt(void);
-/*extern void jump_to_kernel(void *entry, uint64_t cfg, bootinfo_t *bootinfo,
-	unsigned int bootinfo_size) __attribute__((noreturn));*/
-
 extern void jump_to_kernel(void *) __attribute__((noreturn));
 
Index: boot/arch/ia64/loader/main.h
===================================================================
--- boot/arch/ia64/loader/main.h	(revision 2a18193cff1ab235b82cb6c1fd4897417beec7c3)
+++ boot/arch/ia64/loader/main.h	(revision bc7d44c8c94c3e6939ba5054dd1878bd7e3674f7)
@@ -34,7 +34,5 @@
 
 
-#define CONFIG_INIT_TASKS	32
-
-
+#define CONFIG_INIT_TASKS  32
 
 extern void start(void);