Searched refs:jerry_port_get_file_size (Results 1 – 2 of 2) sorted by relevance
67 jerry_port_get_file_size (FILE *file_p) /**< opened file */ in jerry_port_get_file_size() function92 size_t file_size = jerry_port_get_file_size (file_p); in jerry_port_read_source()
32 jerry_port_get_file_size (FILE *file_p) /**< opened file */ in jerry_port_get_file_size() function57 size_t file_size = jerry_port_get_file_size (file_p); in jerry_port_read_source()