Change type of current time in port API

Unsigned long int is not necessarily enough as it can be 32 bits
only. Changed to uint64_t.

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu

Author: akosthekiss

jerry-core/jerry-port.h

@@ -17,8 +17,9 @@
 #ifndef JERRY_PORT_H
 #define JERRY_PORT_H
 
-#include <stdio.h>
 #include <stdbool.h>
+#include <stdint.h>
+#include <stdio.h>
 
 #ifdef __cplusplus
 extern "C"
@@ -98,7 +99,7 @@ bool jerry_port_get_time_zone (jerry_time_zone_t *tz_p);
  *
  * @return milliseconds since Unix epoch
  */
-unsigned long int jerry_port_get_current_time (void);
+uint64_t jerry_port_get_current_time (void);
 
 /**
  * @}

targets/default/jerry-port-default-date.c

@@ -43,11 +43,11 @@ bool jerry_port_get_time_zone (jerry_time_zone_t *tz_p)
 /**
  * Default implementation of jerry_port_get_current_time.
  */
-unsigned long int jerry_port_get_current_time ()
+uint64_t jerry_port_get_current_time ()
 {
   struct timeval tv;
 
   gettimeofday (&tv, NULL);
 
-  return ((unsigned long int) tv.tv_sec) * 1000ul + ((unsigned long int) tv.tv_usec) / 1000ul;
+  return ((uint64_t) tv.tv_sec) * 1000 + ((uint64_t) tv.tv_usec) / 1000;
 } /* jerry_port_get_current_time */