Searched refs:output_file_ptr (Results 1 – 1 of 1) sorted by relevance
| /nrf_hw_models-3.6.0/src/HW_models/ |
| D | NRF_GPIO_backend.c | 47 static FILE *output_file_ptr; /* File pointer for gpio_out_file_path */ variable
79 if (output_file_ptr != NULL) { in nrf_gpio_backend_cleaup()
80 fclose(output_file_ptr); in nrf_gpio_backend_cleaup()
81 output_file_ptr = NULL; in nrf_gpio_backend_cleaup()
150 output_file_ptr = bs_fopen(gpio_out_file_path, "w"); in nrf_gpio_init_output_file()
151 fprintf(output_file_ptr, "time(microsecond),port,pin,level\n"); in nrf_gpio_init_output_file()
159 if (output_file_ptr != NULL){ in nrf_gpio_backend_write_output_change()
160 fprintf(output_file_ptr, "%"PRItime",%u,%u,%u\n", in nrf_gpio_backend_write_output_change()
|
