Searched defs:file_p (Results 1 – 3 of 3) sorted by relevance
32 jerry_port_get_file_size (FILE *file_p) /**< opened file */ in jerry_port_get_file_size()49 FILE *file_p = fopen (file_name_p, "rb"); in jerry_port_read_source() local
67 jerry_port_get_file_size (FILE *file_p) /**< opened file */ in jerry_port_get_file_size()84 FILE *file_p = fopen (file_name_p, "rb"); in jerry_port_read_source() local
622 FILE *file_p = fopen (literals_file_name_p, "wb"); in process_literal_dump() local756 FILE *file_p = fopen (output_file_name_p, "wb"); in process_merge() local