Searched refs:write_checkpoint (Results 1 – 1 of 1) sorted by relevance
406 write_checkpoint(char *cpfile, uint32_t lineno) in write_checkpoint() function585 write_checkpoint(checkpoint_file, count_in); in prime_test()