26 lines
601 B
C
26 lines
601 B
C
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include <stdlib.h>
|
|
#include "redqueen_trace.h"
|
|
|
|
//doesn't take ownership of path, num_addrs or addrs
|
|
void parse_address_file(char* path, size_t* num_addrs, uint64_t** addrs);
|
|
|
|
//doesn't take ownership of buf
|
|
void write_re_result(char* buf);
|
|
|
|
//doesn't take ownership of buf
|
|
void write_se_result(char* buf);
|
|
|
|
//doesn't take ownership of buf
|
|
void write_trace_result(redqueen_trace_t* trace_state);
|
|
|
|
//doesn' take ownership of buf
|
|
void write_debug_result(char* buf);
|
|
|
|
void delete_redqueen_files(void);
|
|
|
|
void delete_trace_files(void);
|
|
|
|
void fsync_all_traces(void);
|