[libgcc] Change __divmoddi4 from int64 [unknown] to int64_t

Matches the header file libgcc.h and solves

  __divmoddi4.c:3:56: error: unknown type name ‘int64’

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/libgcc/__divmoddi4.c b/src/libgcc/__divmoddi4.c
index 95e328d06413f45a42abcf81ea5015621bab1dd4..c00acb5ab5bf894f19b482783cb464e965e0c461 100644 (file)
--- a/src/libgcc/__divmoddi4.c
+++ b/src/libgcc/__divmoddi4.c
@@ -1,6 +1,6 @@
 #include "libgcc.h"
 
-__libgcc int64_t __divmoddi4(int64_t num, int64_t den, int64 *rem_p)
+__libgcc int64_t __divmoddi4(int64_t num, int64_t den, int64_t *rem_p)
 {
   int minus = 0;
   int64_t v;