diff --git a/include/grub/libgcc.h b/include/grub/libgcc.h
index 71674a940..3038d5016 100644
--- a/include/grub/libgcc.h
+++ b/include/grub/libgcc.h
@@ -122,4 +122,5 @@ void EXPORT_FUNC (__aeabi_llsr) (void);
 void EXPORT_FUNC (__aeabi_uidiv) (void);
 void EXPORT_FUNC (__aeabi_uidivmod) (void);
 void EXPORT_FUNC (__wrap___clear_cache) (void *, void *);
+void EXPORT_FUNC (__aeabi_ulcmp) (void);
 #endif