[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>
2016-12-19 12:01:15 +00:00 · 2016-12-19 12:01:15 +00:00 · cede0c5ba1
parent 4277942ac0
commit cede0c5ba1
1 changed files with 1 additions and 1 deletions
--- 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;