Home
last modified time | relevance | path

Searched defs:jerry_port_get_current_time (Results 1 – 6 of 6) sorted by relevance

/third_party/jerryscript/targets/esp8266/user/
Djerry_port.c57 jerry_port_get_current_time (void) in jerry_port_get_current_time() function
/third_party/jerryscript/jerry-port/default/
Ddefault-date.c120 double jerry_port_get_current_time (void) in jerry_port_get_current_time() function
/third_party/jerryscript/targets/zephyr/src/
Djerry-port.c55 jerry_port_get_current_time (void) in jerry_port_get_current_time() function
/third_party/jerryscript/targets/curie_bsp/source/
Dcurie-bsp-port.c66 double jerry_port_get_current_time (void) in jerry_port_get_current_time() function
/third_party/jerryscript/targets/mbedos5/source/
Djerry_port_mbed.c65 jerry_port_get_current_time (void) in jerry_port_get_current_time() function
/third_party/jerryscript/targets/nuttx-stm32f4/
Djerry_port.c183 jerry_port_get_current_time (void) in jerry_port_get_current_time() function