diff --git a/src/arch/i386/boot/boot.c b/src/arch/i386/boot/boot.c
index 07b3cd03ba..730ab2aedc 100644
--- a/src/arch/i386/boot/boot.c
+++ b/src/arch/i386/boot/boot.c
@@ -67,7 +67,7 @@ int elf_check_arch(Elf_ehdr *ehdr)
 	
 }
 
-void jmp_to_elf_entry(void *entry, void *buffer)
+void jmp_to_elf_entry(void *entry, unsigned long buffer)
 {
 	extern unsigned char _ram_seg, _eram_seg;
 	unsigned long lb_start, lb_size;
diff --git a/src/arch/i386/smp/start_stop.c b/src/arch/i386/smp/start_stop.c
index c3e0431125..5da316f098 100644
--- a/src/arch/i386/smp/start_stop.c
+++ b/src/arch/i386/smp/start_stop.c
@@ -88,8 +88,8 @@ int start_cpu(unsigned long apicid)
 	int timeout;
 	unsigned long send_status, accept_status, start_eip;
 	int j, num_starts, maxlvt;
-	extern char _start[], _estart[];
-	extern char reboot_halt[];
+	//extern char _start[], _estart[];
+	//extern char reboot_halt[];
 	extern char _secondary_start[];
 	
 	/*
diff --git a/src/include/pci.h b/src/include/pci.h
index 70c0253ae9..8be3a918ee 100644
--- a/src/include/pci.h
+++ b/src/include/pci.h
@@ -390,8 +390,7 @@ int pcibios_find_device (unsigned short vendor, unsigned short dev_id,
 			 unsigned char *dev_fn);
 
 /* Generic PCI interface functions */
-
-void pci_initiailize(void);
+void pci_initialize(void);
 unsigned int pci_scan_bus(struct pci_dev *bus, unsigned int max);
 unsigned int pci_scan_bridge(struct pci_dev *bus, unsigned int max);