diff --git a/sys/boot/efi/libefi/arch/ia64/start.S b/sys/boot/efi/libefi/arch/ia64/start.S
index 4d29a403fcc1..f2a751069fbd 100644
--- a/sys/boot/efi/libefi/arch/ia64/start.S
+++ b/sys/boot/efi/libefi/arch/ia64/start.S
@@ -28,7 +28,6 @@
 
 	.text
 
-#include <sys/cdefs.h>
 #include <machine/asm.h>
 		
 #define EFI_SUCCESS		0
diff --git a/sys/boot/ia64/efi/start.S b/sys/boot/ia64/efi/start.S
index 4d29a403fcc1..f2a751069fbd 100644
--- a/sys/boot/ia64/efi/start.S
+++ b/sys/boot/ia64/efi/start.S
@@ -28,7 +28,6 @@
 
 	.text
 
-#include <sys/cdefs.h>
 #include <machine/asm.h>
 		
 #define EFI_SUCCESS		0